Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

to_bytes_integration test fails #1620

Closed
joss-aztec opened this issue Jun 9, 2023 · 4 comments · Fixed by #1774
Closed

to_bytes_integration test fails #1620

joss-aztec opened this issue Jun 9, 2023 · 4 comments · Fixed by #1774
Labels
bug Something isn't working

Comments

@joss-aztec
Copy link
Contributor

Aim

Fix ssa refactor's compilation of to_bytes_integration. Compilation succeeds

Expected Behavior

Test succeeds

Bug

Generated ACIR can't be solved: Error: could not satisfy all constraints

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response
@joss-aztec joss-aztec added the bug Something isn't working label Jun 9, 2023
@joss-aztec
Copy link
Contributor Author

ACIR generated before refactor:

current witness index : 865
public parameters indices : []
return value indices : []
BLACKBOX::RANGE [(_3, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_4, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_5, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_6, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_7, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_8, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_9, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_10, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_11, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_12, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_13, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_14, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_15, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_16, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_17, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_18, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_19, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_20, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_21, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_22, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_23, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_24, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_25, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_26, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_27, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_28, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_29, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_30, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_31, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_32, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_33, num_bits: 8)] [ ]
DIR::TORADIX (_x1, [_3..._33] )
EXPR [ (-2²³², _32) (-2²⁴⁰, _33) (-1, _304) 0 ]
EXPR [ (-2²¹⁶, _30) (-2²²⁴, _31) (-1, _305) 0 ]
EXPR [ (-2²⁰⁰, _28) (-2²⁰⁸, _29) (-1, _306) 0 ]
EXPR [ (-2¹⁸⁴, _26) (-2¹⁹², _27) (-1, _307) 0 ]
EXPR [ (-2¹⁶⁸, _24) (-2¹⁷⁶, _25) (-1, _308) 0 ]
EXPR [ (-2¹⁵², _22) (-2¹⁶⁰, _23) (-1, _309) 0 ]
EXPR [ (-2¹³⁶, _20) (-2¹⁴⁴, _21) (-1, _310) 0 ]
EXPR [ (-2¹²⁰, _18) (-2¹²⁸, _19) (-1, _311) 0 ]
EXPR [ (-2¹⁰⁴, _16) (-2¹¹², _17) (-1, _312) 0 ]
EXPR [ (-2⁸⁸, _14) (-2⁹⁶, _15) (-1, _313) 0 ]
EXPR [ (-2⁷², _12) (-2⁸⁰, _13) (-1, _314) 0 ]
EXPR [ (-2⁵⁶, _10) (-2⁶⁴, _11) (-1, _315) 0 ]
EXPR [ (-2⁴⁰, _8) (-2⁴⁸, _9) (-1, _316) 0 ]
EXPR [ (-2²⁴, _6) (-2³², _7) (-1, _317) 0 ]
EXPR [ (-2⁸, _4) (-2¹⁶, _5) (-1, _318) 0 ]
EXPR [ (1, _317) (1, _318) (-1, _319) 0 ]
EXPR [ (1, _315) (1, _316) (-1, _320) 0 ]
EXPR [ (1, _313) (1, _314) (-1, _321) 0 ]
EXPR [ (1, _311) (1, _312) (-1, _322) 0 ]
EXPR [ (1, _309) (1, _310) (-1, _323) 0 ]
EXPR [ (1, _307) (1, _308) (-1, _324) 0 ]
EXPR [ (1, _305) (1, _306) (-1, _325) 0 ]
EXPR [ (1, _324) (1, _325) (-1, _326) 0 ]
EXPR [ (1, _322) (1, _323) (-1, _327) 0 ]
EXPR [ (1, _320) (1, _321) (-1, _328) 0 ]
EXPR [ (1, _304) (1, _319) (-1, _329) 0 ]
EXPR [ (1, _328) (1, _329) (-1, _330) 0 ]
EXPR [ (1, _326) (1, _327) (-1, _331) 0 ]
EXPR [ (1, _1) (-1, _3) (1, _332) 0 ]
EXPR [ (1, _330) (1, _331) (-1, _332) 0 ]
EXPR [ (1, _3) (-1, _34) -60 ]
DIR::INVERT (_34, out: _35) 
EXPR [ (1, _34, _35) (-1, _36) 0 ]
EXPR [ (1, _34, _36) (-1, _34) 0 ]
EXPR [ (1, _36) 0 ]
EXPR [ (1, _3) (-1, _37) -60 ]
DIR::INVERT (_37, out: _38) 
EXPR [ (1, _37, _38) (-1, _39) 0 ]
EXPR [ (1, _37, _39) (-1, _37) 0 ]
EXPR [ (1, _39) 0 ]
EXPR [ (1, _4) (-1, _40) -33 ]
DIR::INVERT (_40, out: _41) 
EXPR [ (1, _40, _41) (-1, _42) 0 ]
EXPR [ (1, _40, _42) (-1, _40) 0 ]
EXPR [ (1, _42) 0 ]
EXPR [ (1, _5) (-1, _43) -31 ]
DIR::INVERT (_43, out: _44) 
EXPR [ (1, _43, _44) (-1, _45) 0 ]
EXPR [ (1, _43, _45) (-1, _43) 0 ]
EXPR [ (1, _45) 0 ]
DIR::QUOTIENT (out : _x2,  (_47, %EXPR [ 2 ]%), _46)
EXPR [ (1, _46, _46) (-1, _46) 0 ]
DIR::QUOTIENT (out : _x47,  (_49, %EXPR [ 2²⁵² ]%), _48)
BLACKBOX::RANGE [(_48, num_bits: 252)] [ ]
EXPR [ (1, _49, _49) (-1, _49) 0 ]
EXPR [ (-1, _47) (1, _48) (2²⁵², _49) 0 ]
EXPR [ (-1, _2) (1, _46) (2, _47) 0 ]
EXPR [ (1, _50, _50) (-1, _50) 0 ]
EXPR [ (1, _51, _51) (-1, _51) 0 ]
EXPR [ (1, _52, _52) (-1, _52) 0 ]
EXPR [ (1, _53, _53) (-1, _53) 0 ]
EXPR [ (1, _54, _54) (-1, _54) 0 ]
EXPR [ (1, _55, _55) (-1, _55) 0 ]
EXPR [ (1, _56, _56) (-1, _56) 0 ]
EXPR [ (1, _57, _57) (-1, _57) 0 ]
EXPR [ (1, _58, _58) (-1, _58) 0 ]
EXPR [ (1, _59, _59) (-1, _59) 0 ]
EXPR [ (1, _60, _60) (-1, _60) 0 ]
EXPR [ (1, _61, _61) (-1, _61) 0 ]
EXPR [ (1, _62, _62) (-1, _62) 0 ]
EXPR [ (1, _63, _63) (-1, _63) 0 ]
EXPR [ (1, _64, _64) (-1, _64) 0 ]
EXPR [ (1, _65, _65) (-1, _65) 0 ]
EXPR [ (1, _66, _66) (-1, _66) 0 ]
EXPR [ (1, _67, _67) (-1, _67) 0 ]
EXPR [ (1, _68, _68) (-1, _68) 0 ]
EXPR [ (1, _69, _69) (-1, _69) 0 ]
EXPR [ (1, _70, _70) (-1, _70) 0 ]
EXPR [ (1, _71, _71) (-1, _71) 0 ]
EXPR [ (1, _72, _72) (-1, _72) 0 ]
EXPR [ (1, _73, _73) (-1, _73) 0 ]
EXPR [ (1, _74, _74) (-1, _74) 0 ]
EXPR [ (1, _75, _75) (-1, _75) 0 ]
EXPR [ (1, _76, _76) (-1, _76) 0 ]
EXPR [ (1, _77, _77) (-1, _77) 0 ]
EXPR [ (1, _78, _78) (-1, _78) 0 ]
EXPR [ (1, _79, _79) (-1, _79) 0 ]
EXPR [ (1, _80, _80) (-1, _80) 0 ]
EXPR [ (1, _81, _81) (-1, _81) 0 ]
EXPR [ (1, _82, _82) (-1, _82) 0 ]
EXPR [ (1, _83, _83) (-1, _83) 0 ]
EXPR [ (1, _84, _84) (-1, _84) 0 ]
EXPR [ (1, _85, _85) (-1, _85) 0 ]
EXPR [ (1, _86, _86) (-1, _86) 0 ]
EXPR [ (1, _87, _87) (-1, _87) 0 ]
EXPR [ (1, _88, _88) (-1, _88) 0 ]
EXPR [ (1, _89, _89) (-1, _89) 0 ]
EXPR [ (1, _90, _90) (-1, _90) 0 ]
EXPR [ (1, _91, _91) (-1, _91) 0 ]
EXPR [ (1, _92, _92) (-1, _92) 0 ]
EXPR [ (1, _93, _93) (-1, _93) 0 ]
EXPR [ (1, _94, _94) (-1, _94) 0 ]
EXPR [ (1, _95, _95) (-1, _95) 0 ]
EXPR [ (1, _96, _96) (-1, _96) 0 ]
EXPR [ (1, _97, _97) (-1, _97) 0 ]
EXPR [ (1, _98, _98) (-1, _98) 0 ]
EXPR [ (1, _99, _99) (-1, _99) 0 ]
EXPR [ (1, _100, _100) (-1, _100) 0 ]
EXPR [ (1, _101, _101) (-1, _101) 0 ]
EXPR [ (1, _102, _102) (-1, _102) 0 ]
EXPR [ (1, _103, _103) (-1, _103) 0 ]
EXPR [ (1, _104, _104) (-1, _104) 0 ]
EXPR [ (1, _105, _105) (-1, _105) 0 ]
EXPR [ (1, _106, _106) (-1, _106) 0 ]
EXPR [ (1, _107, _107) (-1, _107) 0 ]
EXPR [ (1, _108, _108) (-1, _108) 0 ]
EXPR [ (1, _109, _109) (-1, _109) 0 ]
EXPR [ (1, _110, _110) (-1, _110) 0 ]
EXPR [ (1, _111, _111) (-1, _111) 0 ]
EXPR [ (1, _112, _112) (-1, _112) 0 ]
EXPR [ (1, _113, _113) (-1, _113) 0 ]
EXPR [ (1, _114, _114) (-1, _114) 0 ]
EXPR [ (1, _115, _115) (-1, _115) 0 ]
EXPR [ (1, _116, _116) (-1, _116) 0 ]
EXPR [ (1, _117, _117) (-1, _117) 0 ]
EXPR [ (1, _118, _118) (-1, _118) 0 ]
EXPR [ (1, _119, _119) (-1, _119) 0 ]
EXPR [ (1, _120, _120) (-1, _120) 0 ]
EXPR [ (1, _121, _121) (-1, _121) 0 ]
EXPR [ (1, _122, _122) (-1, _122) 0 ]
EXPR [ (1, _123, _123) (-1, _123) 0 ]
EXPR [ (1, _124, _124) (-1, _124) 0 ]
EXPR [ (1, _125, _125) (-1, _125) 0 ]
EXPR [ (1, _126, _126) (-1, _126) 0 ]
EXPR [ (1, _127, _127) (-1, _127) 0 ]
EXPR [ (1, _128, _128) (-1, _128) 0 ]
EXPR [ (1, _129, _129) (-1, _129) 0 ]
EXPR [ (1, _130, _130) (-1, _130) 0 ]
EXPR [ (1, _131, _131) (-1, _131) 0 ]
EXPR [ (1, _132, _132) (-1, _132) 0 ]
EXPR [ (1, _133, _133) (-1, _133) 0 ]
EXPR [ (1, _134, _134) (-1, _134) 0 ]
EXPR [ (1, _135, _135) (-1, _135) 0 ]
EXPR [ (1, _136, _136) (-1, _136) 0 ]
EXPR [ (1, _137, _137) (-1, _137) 0 ]
EXPR [ (1, _138, _138) (-1, _138) 0 ]
EXPR [ (1, _139, _139) (-1, _139) 0 ]
EXPR [ (1, _140, _140) (-1, _140) 0 ]
EXPR [ (1, _141, _141) (-1, _141) 0 ]
EXPR [ (1, _142, _142) (-1, _142) 0 ]
EXPR [ (1, _143, _143) (-1, _143) 0 ]
EXPR [ (1, _144, _144) (-1, _144) 0 ]
EXPR [ (1, _145, _145) (-1, _145) 0 ]
EXPR [ (1, _146, _146) (-1, _146) 0 ]
EXPR [ (1, _147, _147) (-1, _147) 0 ]
EXPR [ (1, _148, _148) (-1, _148) 0 ]
EXPR [ (1, _149, _149) (-1, _149) 0 ]
EXPR [ (1, _150, _150) (-1, _150) 0 ]
EXPR [ (1, _151, _151) (-1, _151) 0 ]
EXPR [ (1, _152, _152) (-1, _152) 0 ]
EXPR [ (1, _153, _153) (-1, _153) 0 ]
EXPR [ (1, _154, _154) (-1, _154) 0 ]
EXPR [ (1, _155, _155) (-1, _155) 0 ]
EXPR [ (1, _156, _156) (-1, _156) 0 ]
EXPR [ (1, _157, _157) (-1, _157) 0 ]
EXPR [ (1, _158, _158) (-1, _158) 0 ]
EXPR [ (1, _159, _159) (-1, _159) 0 ]
EXPR [ (1, _160, _160) (-1, _160) 0 ]
EXPR [ (1, _161, _161) (-1, _161) 0 ]
EXPR [ (1, _162, _162) (-1, _162) 0 ]
EXPR [ (1, _163, _163) (-1, _163) 0 ]
EXPR [ (1, _164, _164) (-1, _164) 0 ]
EXPR [ (1, _165, _165) (-1, _165) 0 ]
EXPR [ (1, _166, _166) (-1, _166) 0 ]
EXPR [ (1, _167, _167) (-1, _167) 0 ]
EXPR [ (1, _168, _168) (-1, _168) 0 ]
EXPR [ (1, _169, _169) (-1, _169) 0 ]
EXPR [ (1, _170, _170) (-1, _170) 0 ]
EXPR [ (1, _171, _171) (-1, _171) 0 ]
EXPR [ (1, _172, _172) (-1, _172) 0 ]
EXPR [ (1, _173, _173) (-1, _173) 0 ]
EXPR [ (1, _174, _174) (-1, _174) 0 ]
EXPR [ (1, _175, _175) (-1, _175) 0 ]
EXPR [ (1, _176, _176) (-1, _176) 0 ]
EXPR [ (1, _177, _177) (-1, _177) 0 ]
EXPR [ (1, _178, _178) (-1, _178) 0 ]
EXPR [ (1, _179, _179) (-1, _179) 0 ]
EXPR [ (1, _180, _180) (-1, _180) 0 ]
EXPR [ (1, _181, _181) (-1, _181) 0 ]
EXPR [ (1, _182, _182) (-1, _182) 0 ]
EXPR [ (1, _183, _183) (-1, _183) 0 ]
EXPR [ (1, _184, _184) (-1, _184) 0 ]
EXPR [ (1, _185, _185) (-1, _185) 0 ]
EXPR [ (1, _186, _186) (-1, _186) 0 ]
EXPR [ (1, _187, _187) (-1, _187) 0 ]
EXPR [ (1, _188, _188) (-1, _188) 0 ]
EXPR [ (1, _189, _189) (-1, _189) 0 ]
EXPR [ (1, _190, _190) (-1, _190) 0 ]
EXPR [ (1, _191, _191) (-1, _191) 0 ]
EXPR [ (1, _192, _192) (-1, _192) 0 ]
EXPR [ (1, _193, _193) (-1, _193) 0 ]
EXPR [ (1, _194, _194) (-1, _194) 0 ]
EXPR [ (1, _195, _195) (-1, _195) 0 ]
EXPR [ (1, _196, _196) (-1, _196) 0 ]
EXPR [ (1, _197, _197) (-1, _197) 0 ]
EXPR [ (1, _198, _198) (-1, _198) 0 ]
EXPR [ (1, _199, _199) (-1, _199) 0 ]
EXPR [ (1, _200, _200) (-1, _200) 0 ]
EXPR [ (1, _201, _201) (-1, _201) 0 ]
EXPR [ (1, _202, _202) (-1, _202) 0 ]
EXPR [ (1, _203, _203) (-1, _203) 0 ]
EXPR [ (1, _204, _204) (-1, _204) 0 ]
EXPR [ (1, _205, _205) (-1, _205) 0 ]
EXPR [ (1, _206, _206) (-1, _206) 0 ]
EXPR [ (1, _207, _207) (-1, _207) 0 ]
EXPR [ (1, _208, _208) (-1, _208) 0 ]
EXPR [ (1, _209, _209) (-1, _209) 0 ]
EXPR [ (1, _210, _210) (-1, _210) 0 ]
EXPR [ (1, _211, _211) (-1, _211) 0 ]
EXPR [ (1, _212, _212) (-1, _212) 0 ]
EXPR [ (1, _213, _213) (-1, _213) 0 ]
EXPR [ (1, _214, _214) (-1, _214) 0 ]
EXPR [ (1, _215, _215) (-1, _215) 0 ]
EXPR [ (1, _216, _216) (-1, _216) 0 ]
EXPR [ (1, _217, _217) (-1, _217) 0 ]
EXPR [ (1, _218, _218) (-1, _218) 0 ]
EXPR [ (1, _219, _219) (-1, _219) 0 ]
EXPR [ (1, _220, _220) (-1, _220) 0 ]
EXPR [ (1, _221, _221) (-1, _221) 0 ]
EXPR [ (1, _222, _222) (-1, _222) 0 ]
EXPR [ (1, _223, _223) (-1, _223) 0 ]
EXPR [ (1, _224, _224) (-1, _224) 0 ]
EXPR [ (1, _225, _225) (-1, _225) 0 ]
EXPR [ (1, _226, _226) (-1, _226) 0 ]
EXPR [ (1, _227, _227) (-1, _227) 0 ]
EXPR [ (1, _228, _228) (-1, _228) 0 ]
EXPR [ (1, _229, _229) (-1, _229) 0 ]
EXPR [ (1, _230, _230) (-1, _230) 0 ]
EXPR [ (1, _231, _231) (-1, _231) 0 ]
EXPR [ (1, _232, _232) (-1, _232) 0 ]
EXPR [ (1, _233, _233) (-1, _233) 0 ]
EXPR [ (1, _234, _234) (-1, _234) 0 ]
EXPR [ (1, _235, _235) (-1, _235) 0 ]
EXPR [ (1, _236, _236) (-1, _236) 0 ]
EXPR [ (1, _237, _237) (-1, _237) 0 ]
EXPR [ (1, _238, _238) (-1, _238) 0 ]
EXPR [ (1, _239, _239) (-1, _239) 0 ]
EXPR [ (1, _240, _240) (-1, _240) 0 ]
EXPR [ (1, _241, _241) (-1, _241) 0 ]
EXPR [ (1, _242, _242) (-1, _242) 0 ]
EXPR [ (1, _243, _243) (-1, _243) 0 ]
EXPR [ (1, _244, _244) (-1, _244) 0 ]
EXPR [ (1, _245, _245) (-1, _245) 0 ]
EXPR [ (1, _246, _246) (-1, _246) 0 ]
EXPR [ (1, _247, _247) (-1, _247) 0 ]
EXPR [ (1, _248, _248) (-1, _248) 0 ]
EXPR [ (1, _249, _249) (-1, _249) 0 ]
EXPR [ (1, _250, _250) (-1, _250) 0 ]
EXPR [ (1, _251, _251) (-1, _251) 0 ]
EXPR [ (1, _252, _252) (-1, _252) 0 ]
EXPR [ (1, _253, _253) (-1, _253) 0 ]
EXPR [ (1, _254, _254) (-1, _254) 0 ]
EXPR [ (1, _255, _255) (-1, _255) 0 ]
EXPR [ (1, _256, _256) (-1, _256) 0 ]
EXPR [ (1, _257, _257) (-1, _257) 0 ]
EXPR [ (1, _258, _258) (-1, _258) 0 ]
EXPR [ (1, _259, _259) (-1, _259) 0 ]
EXPR [ (1, _260, _260) (-1, _260) 0 ]
EXPR [ (1, _261, _261) (-1, _261) 0 ]
EXPR [ (1, _262, _262) (-1, _262) 0 ]
EXPR [ (1, _263, _263) (-1, _263) 0 ]
EXPR [ (1, _264, _264) (-1, _264) 0 ]
EXPR [ (1, _265, _265) (-1, _265) 0 ]
EXPR [ (1, _266, _266) (-1, _266) 0 ]
EXPR [ (1, _267, _267) (-1, _267) 0 ]
EXPR [ (1, _268, _268) (-1, _268) 0 ]
EXPR [ (1, _269, _269) (-1, _269) 0 ]
EXPR [ (1, _270, _270) (-1, _270) 0 ]
EXPR [ (1, _271, _271) (-1, _271) 0 ]
EXPR [ (1, _272, _272) (-1, _272) 0 ]
EXPR [ (1, _273, _273) (-1, _273) 0 ]
EXPR [ (1, _274, _274) (-1, _274) 0 ]
EXPR [ (1, _275, _275) (-1, _275) 0 ]
EXPR [ (1, _276, _276) (-1, _276) 0 ]
EXPR [ (1, _277, _277) (-1, _277) 0 ]
EXPR [ (1, _278, _278) (-1, _278) 0 ]
EXPR [ (1, _279, _279) (-1, _279) 0 ]
EXPR [ (1, _280, _280) (-1, _280) 0 ]
EXPR [ (1, _281, _281) (-1, _281) 0 ]
EXPR [ (1, _282, _282) (-1, _282) 0 ]
EXPR [ (1, _283, _283) (-1, _283) 0 ]
EXPR [ (1, _284, _284) (-1, _284) 0 ]
EXPR [ (1, _285, _285) (-1, _285) 0 ]
EXPR [ (1, _286, _286) (-1, _286) 0 ]
EXPR [ (1, _287, _287) (-1, _287) 0 ]
EXPR [ (1, _288, _288) (-1, _288) 0 ]
EXPR [ (1, _289, _289) (-1, _289) 0 ]
EXPR [ (1, _290, _290) (-1, _290) 0 ]
EXPR [ (1, _291, _291) (-1, _291) 0 ]
EXPR [ (1, _292, _292) (-1, _292) 0 ]
EXPR [ (1, _293, _293) (-1, _293) 0 ]
EXPR [ (1, _294, _294) (-1, _294) 0 ]
EXPR [ (1, _295, _295) (-1, _295) 0 ]
EXPR [ (1, _296, _296) (-1, _296) 0 ]
EXPR [ (1, _297, _297) (-1, _297) 0 ]
EXPR [ (1, _298, _298) (-1, _298) 0 ]
EXPR [ (1, _299, _299) (-1, _299) 0 ]
EXPR [ (1, _300, _300) (-1, _300) 0 ]
EXPR [ (1, _301, _301) (-1, _301) 0 ]
EXPR [ (1, _302, _302) (-1, _302) 0 ]
DIR::TORADIX (_%EXPR [ (10944121435919637611123202872628637544274182200208017171849102093287904247809, _2) (2¹⁶×166994040465082361009570356332834435184847750857666277646623261921507328, _46) 0 ]%, [_50..._302] )
EXPR [ (-2²⁵¹, _301) (-2²⁵², _302) (-1, _362) 0 ]
EXPR [ (-2²⁴⁹, _299) (-2²⁵⁰, _300) (-1, _363) 0 ]
EXPR [ (-2²⁴⁷, _297) (-2²⁴⁸, _298) (-1, _364) 0 ]
EXPR [ (-2²⁴⁵, _295) (-2²⁴⁶, _296) (-1, _365) 0 ]
EXPR [ (-2²⁴³, _293) (-2²⁴⁴, _294) (-1, _366) 0 ]
EXPR [ (-2²⁴¹, _291) (-2²⁴², _292) (-1, _367) 0 ]
EXPR [ (-2²³⁹, _289) (-2²⁴⁰, _290) (-1, _368) 0 ]
EXPR [ (-2²³⁷, _287) (-2²³⁸, _288) (-1, _369) 0 ]
EXPR [ (-2²³⁵, _285) (-2²³⁶, _286) (-1, _370) 0 ]
EXPR [ (-2²³³, _283) (-2²³⁴, _284) (-1, _371) 0 ]
EXPR [ (-2²³¹, _281) (-2²³², _282) (-1, _372) 0 ]
EXPR [ (-2²²⁹, _279) (-2²³⁰, _280) (-1, _373) 0 ]
EXPR [ (-2²²⁷, _277) (-2²²⁸, _278) (-1, _374) 0 ]
EXPR [ (-2²²⁵, _275) (-2²²⁶, _276) (-1, _375) 0 ]
EXPR [ (-2²²³, _273) (-2²²⁴, _274) (-1, _376) 0 ]
EXPR [ (-2²²¹, _271) (-2²²², _272) (-1, _377) 0 ]
EXPR [ (-2²¹⁹, _269) (-2²²⁰, _270) (-1, _378) 0 ]
EXPR [ (-2²¹⁷, _267) (-2²¹⁸, _268) (-1, _379) 0 ]
EXPR [ (-2²¹⁵, _265) (-2²¹⁶, _266) (-1, _380) 0 ]
EXPR [ (-2²¹³, _263) (-2²¹⁴, _264) (-1, _381) 0 ]
EXPR [ (-2²¹¹, _261) (-2²¹², _262) (-1, _382) 0 ]
EXPR [ (-2²⁰⁹, _259) (-2²¹⁰, _260) (-1, _383) 0 ]
EXPR [ (-2²⁰⁷, _257) (-2²⁰⁸, _258) (-1, _384) 0 ]
EXPR [ (-2²⁰⁵, _255) (-2²⁰⁶, _256) (-1, _385) 0 ]
EXPR [ (-2²⁰³, _253) (-2²⁰⁴, _254) (-1, _386) 0 ]
EXPR [ (-2²⁰¹, _251) (-2²⁰², _252) (-1, _387) 0 ]
EXPR [ (-2¹⁹⁹, _249) (-2²⁰⁰, _250) (-1, _388) 0 ]
EXPR [ (-2¹⁹⁷, _247) (-2¹⁹⁸, _248) (-1, _389) 0 ]
EXPR [ (-2¹⁹⁵, _245) (-2¹⁹⁶, _246) (-1, _390) 0 ]
EXPR [ (-2¹⁹³, _243) (-2¹⁹⁴, _244) (-1, _391) 0 ]
EXPR [ (-2¹⁹¹, _241) (-2¹⁹², _242) (-1, _392) 0 ]
EXPR [ (-2¹⁸⁹, _239) (-2¹⁹⁰, _240) (-1, _393) 0 ]
EXPR [ (-2¹⁸⁷, _237) (-2¹⁸⁸, _238) (-1, _394) 0 ]
EXPR [ (-2¹⁸⁵, _235) (-2¹⁸⁶, _236) (-1, _395) 0 ]
EXPR [ (-2¹⁸³, _233) (-2¹⁸⁴, _234) (-1, _396) 0 ]
EXPR [ (-2¹⁸¹, _231) (-2¹⁸², _232) (-1, _397) 0 ]
EXPR [ (-2¹⁷⁹, _229) (-2¹⁸⁰, _230) (-1, _398) 0 ]
EXPR [ (-2¹⁷⁷, _227) (-2¹⁷⁸, _228) (-1, _399) 0 ]
EXPR [ (-2¹⁷⁵, _225) (-2¹⁷⁶, _226) (-1, _400) 0 ]
EXPR [ (-2¹⁷³, _223) (-2¹⁷⁴, _224) (-1, _401) 0 ]
EXPR [ (-2¹⁷¹, _221) (-2¹⁷², _222) (-1, _402) 0 ]
EXPR [ (-2¹⁶⁹, _219) (-2¹⁷⁰, _220) (-1, _403) 0 ]
EXPR [ (-2¹⁶⁷, _217) (-2¹⁶⁸, _218) (-1, _404) 0 ]
EXPR [ (-2¹⁶⁵, _215) (-2¹⁶⁶, _216) (-1, _405) 0 ]
EXPR [ (-2¹⁶³, _213) (-2¹⁶⁴, _214) (-1, _406) 0 ]
EXPR [ (-2¹⁶¹, _211) (-2¹⁶², _212) (-1, _407) 0 ]
EXPR [ (-2¹⁵⁹, _209) (-2¹⁶⁰, _210) (-1, _408) 0 ]
EXPR [ (-2¹⁵⁷, _207) (-2¹⁵⁸, _208) (-1, _409) 0 ]
EXPR [ (-2¹⁵⁵, _205) (-2¹⁵⁶, _206) (-1, _410) 0 ]
EXPR [ (-2¹⁵³, _203) (-2¹⁵⁴, _204) (-1, _411) 0 ]
EXPR [ (-2¹⁵¹, _201) (-2¹⁵², _202) (-1, _412) 0 ]
EXPR [ (-2¹⁴⁹, _199) (-2¹⁵⁰, _200) (-1, _413) 0 ]
EXPR [ (-2¹⁴⁷, _197) (-2¹⁴⁸, _198) (-1, _414) 0 ]
EXPR [ (-2¹⁴⁵, _195) (-2¹⁴⁶, _196) (-1, _415) 0 ]
EXPR [ (-2¹⁴³, _193) (-2¹⁴⁴, _194) (-1, _416) 0 ]
EXPR [ (-2¹⁴¹, _191) (-2¹⁴², _192) (-1, _417) 0 ]
EXPR [ (-2¹³⁹, _189) (-2¹⁴⁰, _190) (-1, _418) 0 ]
EXPR [ (-2¹³⁷, _187) (-2¹³⁸, _188) (-1, _419) 0 ]
EXPR [ (-2¹³⁵, _185) (-2¹³⁶, _186) (-1, _420) 0 ]
EXPR [ (-2¹³³, _183) (-2¹³⁴, _184) (-1, _421) 0 ]
EXPR [ (-2¹³¹, _181) (-2¹³², _182) (-1, _422) 0 ]
EXPR [ (-2¹²⁹, _179) (-2¹³⁰, _180) (-1, _423) 0 ]
EXPR [ (-2¹²⁷, _177) (-2¹²⁸, _178) (-1, _424) 0 ]
EXPR [ (-2¹²⁵, _175) (-2¹²⁶, _176) (-1, _425) 0 ]
EXPR [ (-2¹²³, _173) (-2¹²⁴, _174) (-1, _426) 0 ]
EXPR [ (-2¹²¹, _171) (-2¹²², _172) (-1, _427) 0 ]
EXPR [ (-2¹¹⁹, _169) (-2¹²⁰, _170) (-1, _428) 0 ]
EXPR [ (-2¹¹⁷, _167) (-2¹¹⁸, _168) (-1, _429) 0 ]
EXPR [ (-2¹¹⁵, _165) (-2¹¹⁶, _166) (-1, _430) 0 ]
EXPR [ (-2¹¹³, _163) (-2¹¹⁴, _164) (-1, _431) 0 ]
EXPR [ (-2¹¹¹, _161) (-2¹¹², _162) (-1, _432) 0 ]
EXPR [ (-2¹⁰⁹, _159) (-2¹¹⁰, _160) (-1, _433) 0 ]
EXPR [ (-2¹⁰⁷, _157) (-2¹⁰⁸, _158) (-1, _434) 0 ]
EXPR [ (-2¹⁰⁵, _155) (-2¹⁰⁶, _156) (-1, _435) 0 ]
EXPR [ (-2¹⁰³, _153) (-2¹⁰⁴, _154) (-1, _436) 0 ]
EXPR [ (-2¹⁰¹, _151) (-2¹⁰², _152) (-1, _437) 0 ]
EXPR [ (-2⁹⁹, _149) (-2¹⁰⁰, _150) (-1, _438) 0 ]
EXPR [ (-2⁹⁷, _147) (-2⁹⁸, _148) (-1, _439) 0 ]
EXPR [ (-2⁹⁵, _145) (-2⁹⁶, _146) (-1, _440) 0 ]
EXPR [ (-2⁹³, _143) (-2⁹⁴, _144) (-1, _441) 0 ]
EXPR [ (-2⁹¹, _141) (-2⁹², _142) (-1, _442) 0 ]
EXPR [ (-2⁸⁹, _139) (-2⁹⁰, _140) (-1, _443) 0 ]
EXPR [ (-2⁸⁷, _137) (-2⁸⁸, _138) (-1, _444) 0 ]
EXPR [ (-2⁸⁵, _135) (-2⁸⁶, _136) (-1, _445) 0 ]
EXPR [ (-2⁸³, _133) (-2⁸⁴, _134) (-1, _446) 0 ]
EXPR [ (-2⁸¹, _131) (-2⁸², _132) (-1, _447) 0 ]
EXPR [ (-2⁷⁹, _129) (-2⁸⁰, _130) (-1, _448) 0 ]
EXPR [ (-2⁷⁷, _127) (-2⁷⁸, _128) (-1, _449) 0 ]
EXPR [ (-2⁷⁵, _125) (-2⁷⁶, _126) (-1, _450) 0 ]
EXPR [ (-2⁷³, _123) (-2⁷⁴, _124) (-1, _451) 0 ]
EXPR [ (-2⁷¹, _121) (-2⁷², _122) (-1, _452) 0 ]
EXPR [ (-2⁶⁹, _119) (-2⁷⁰, _120) (-1, _453) 0 ]
EXPR [ (-2⁶⁷, _117) (-2⁶⁸, _118) (-1, _454) 0 ]
EXPR [ (-2⁶⁵, _115) (-2⁶⁶, _116) (-1, _455) 0 ]
EXPR [ (-2⁶³, _113) (-2⁶⁴, _114) (-1, _456) 0 ]
EXPR [ (-2⁶¹, _111) (-2⁶², _112) (-1, _457) 0 ]
EXPR [ (-2⁵⁹, _109) (-2⁶⁰, _110) (-1, _458) 0 ]
EXPR [ (-2⁵⁷, _107) (-2⁵⁸, _108) (-1, _459) 0 ]
EXPR [ (-2⁵⁵, _105) (-2⁵⁶, _106) (-1, _460) 0 ]
EXPR [ (-2⁵³, _103) (-2⁵⁴, _104) (-1, _461) 0 ]
EXPR [ (-2⁵¹, _101) (-2⁵², _102) (-1, _462) 0 ]
EXPR [ (-2⁴⁹, _99) (-2⁵⁰, _100) (-1, _463) 0 ]
EXPR [ (-2⁴⁷, _97) (-2⁴⁸, _98) (-1, _464) 0 ]
EXPR [ (-2⁴⁵, _95) (-2⁴⁶, _96) (-1, _465) 0 ]
EXPR [ (-2⁴³, _93) (-2⁴⁴, _94) (-1, _466) 0 ]
EXPR [ (-2⁴¹, _91) (-2⁴², _92) (-1, _467) 0 ]
EXPR [ (-2³⁹, _89) (-2⁴⁰, _90) (-1, _468) 0 ]
EXPR [ (-2³⁷, _87) (-2³⁸, _88) (-1, _469) 0 ]
EXPR [ (-2³⁵, _85) (-2³⁶, _86) (-1, _470) 0 ]
EXPR [ (-2³³, _83) (-2³⁴, _84) (-1, _471) 0 ]
EXPR [ (-2³¹, _81) (-2³², _82) (-1, _472) 0 ]
EXPR [ (-2²⁹, _79) (-2³⁰, _80) (-1, _473) 0 ]
EXPR [ (-2²⁷, _77) (-2²⁸, _78) (-1, _474) 0 ]
EXPR [ (-2²⁵, _75) (-2²⁶, _76) (-1, _475) 0 ]
EXPR [ (-2²³, _73) (-2²⁴, _74) (-1, _476) 0 ]
EXPR [ (-2²¹, _71) (-2²², _72) (-1, _477) 0 ]
EXPR [ (-2¹⁹, _69) (-2²⁰, _70) (-1, _478) 0 ]
EXPR [ (-2¹⁷, _67) (-2¹⁸, _68) (-1, _479) 0 ]
EXPR [ (-2¹⁵, _65) (-2¹⁶, _66) (-1, _480) 0 ]
EXPR [ (-2¹³, _63) (-2¹⁴, _64) (-1, _481) 0 ]
EXPR [ (-2¹¹, _61) (-2¹², _62) (-1, _482) 0 ]
EXPR [ (-2⁹, _59) (-2¹⁰, _60) (-1, _483) 0 ]
EXPR [ (-2⁷, _57) (-2⁸, _58) (-1, _484) 0 ]
EXPR [ (-2⁵, _55) (-2⁶, _56) (-1, _485) 0 ]
EXPR [ (-8, _53) (-2⁴, _54) (-1, _486) 0 ]
EXPR [ (-2, _51) (-4, _52) (-1, _487) 0 ]
EXPR [ (1, _486) (1, _487) (-1, _488) 0 ]
EXPR [ (1, _484) (1, _485) (-1, _489) 0 ]
EXPR [ (1, _482) (1, _483) (-1, _490) 0 ]
EXPR [ (1, _480) (1, _481) (-1, _491) 0 ]
EXPR [ (1, _478) (1, _479) (-1, _492) 0 ]
EXPR [ (1, _476) (1, _477) (-1, _493) 0 ]
EXPR [ (1, _474) (1, _475) (-1, _494) 0 ]
EXPR [ (1, _472) (1, _473) (-1, _495) 0 ]
EXPR [ (1, _470) (1, _471) (-1, _496) 0 ]
EXPR [ (1, _468) (1, _469) (-1, _497) 0 ]
EXPR [ (1, _466) (1, _467) (-1, _498) 0 ]
EXPR [ (1, _464) (1, _465) (-1, _499) 0 ]
EXPR [ (1, _462) (1, _463) (-1, _500) 0 ]
EXPR [ (1, _460) (1, _461) (-1, _501) 0 ]
EXPR [ (1, _458) (1, _459) (-1, _502) 0 ]
EXPR [ (1, _456) (1, _457) (-1, _503) 0 ]
EXPR [ (1, _454) (1, _455) (-1, _504) 0 ]
EXPR [ (1, _452) (1, _453) (-1, _505) 0 ]
EXPR [ (1, _450) (1, _451) (-1, _506) 0 ]
EXPR [ (1, _448) (1, _449) (-1, _507) 0 ]
EXPR [ (1, _446) (1, _447) (-1, _508) 0 ]
EXPR [ (1, _444) (1, _445) (-1, _509) 0 ]
EXPR [ (1, _442) (1, _443) (-1, _510) 0 ]
EXPR [ (1, _440) (1, _441) (-1, _511) 0 ]
EXPR [ (1, _438) (1, _439) (-1, _512) 0 ]
EXPR [ (1, _436) (1, _437) (-1, _513) 0 ]
EXPR [ (1, _434) (1, _435) (-1, _514) 0 ]
EXPR [ (1, _432) (1, _433) (-1, _515) 0 ]
EXPR [ (1, _430) (1, _431) (-1, _516) 0 ]
EXPR [ (1, _428) (1, _429) (-1, _517) 0 ]
EXPR [ (1, _426) (1, _427) (-1, _518) 0 ]
EXPR [ (1, _424) (1, _425) (-1, _519) 0 ]
EXPR [ (1, _422) (1, _423) (-1, _520) 0 ]
EXPR [ (1, _420) (1, _421) (-1, _521) 0 ]
EXPR [ (1, _418) (1, _419) (-1, _522) 0 ]
EXPR [ (1, _416) (1, _417) (-1, _523) 0 ]
EXPR [ (1, _414) (1, _415) (-1, _524) 0 ]
EXPR [ (1, _412) (1, _413) (-1, _525) 0 ]
EXPR [ (1, _410) (1, _411) (-1, _526) 0 ]
EXPR [ (1, _408) (1, _409) (-1, _527) 0 ]
EXPR [ (1, _406) (1, _407) (-1, _528) 0 ]
EXPR [ (1, _404) (1, _405) (-1, _529) 0 ]
EXPR [ (1, _402) (1, _403) (-1, _530) 0 ]
EXPR [ (1, _400) (1, _401) (-1, _531) 0 ]
EXPR [ (1, _398) (1, _399) (-1, _532) 0 ]
EXPR [ (1, _396) (1, _397) (-1, _533) 0 ]
EXPR [ (1, _394) (1, _395) (-1, _534) 0 ]
EXPR [ (1, _392) (1, _393) (-1, _535) 0 ]
EXPR [ (1, _390) (1, _391) (-1, _536) 0 ]
EXPR [ (1, _388) (1, _389) (-1, _537) 0 ]
EXPR [ (1, _386) (1, _387) (-1, _538) 0 ]
EXPR [ (1, _384) (1, _385) (-1, _539) 0 ]
EXPR [ (1, _382) (1, _383) (-1, _540) 0 ]
EXPR [ (1, _380) (1, _381) (-1, _541) 0 ]
EXPR [ (1, _378) (1, _379) (-1, _542) 0 ]
EXPR [ (1, _376) (1, _377) (-1, _543) 0 ]
EXPR [ (1, _374) (1, _375) (-1, _544) 0 ]
EXPR [ (1, _372) (1, _373) (-1, _545) 0 ]
EXPR [ (1, _370) (1, _371) (-1, _546) 0 ]
EXPR [ (1, _368) (1, _369) (-1, _547) 0 ]
EXPR [ (1, _366) (1, _367) (-1, _548) 0 ]
EXPR [ (1, _364) (1, _365) (-1, _549) 0 ]
EXPR [ (1, _362) (1, _363) (-1, _550) 0 ]
EXPR [ (1, _549) (1, _550) (-1, _551) 0 ]
EXPR [ (1, _547) (1, _548) (-1, _552) 0 ]
EXPR [ (1, _545) (1, _546) (-1, _553) 0 ]
EXPR [ (1, _543) (1, _544) (-1, _554) 0 ]
EXPR [ (1, _541) (1, _542) (-1, _555) 0 ]
EXPR [ (1, _539) (1, _540) (-1, _556) 0 ]
EXPR [ (1, _537) (1, _538) (-1, _557) 0 ]
EXPR [ (1, _535) (1, _536) (-1, _558) 0 ]
EXPR [ (1, _533) (1, _534) (-1, _559) 0 ]
EXPR [ (1, _531) (1, _532) (-1, _560) 0 ]
EXPR [ (1, _529) (1, _530) (-1, _561) 0 ]
EXPR [ (1, _527) (1, _528) (-1, _562) 0 ]
EXPR [ (1, _525) (1, _526) (-1, _563) 0 ]
EXPR [ (1, _523) (1, _524) (-1, _564) 0 ]
EXPR [ (1, _521) (1, _522) (-1, _565) 0 ]
EXPR [ (1, _519) (1, _520) (-1, _566) 0 ]
EXPR [ (1, _517) (1, _518) (-1, _567) 0 ]
EXPR [ (1, _515) (1, _516) (-1, _568) 0 ]
EXPR [ (1, _513) (1, _514) (-1, _569) 0 ]
EXPR [ (1, _511) (1, _512) (-1, _570) 0 ]
EXPR [ (1, _509) (1, _510) (-1, _571) 0 ]
EXPR [ (1, _507) (1, _508) (-1, _572) 0 ]
EXPR [ (1, _505) (1, _506) (-1, _573) 0 ]
EXPR [ (1, _503) (1, _504) (-1, _574) 0 ]
EXPR [ (1, _501) (1, _502) (-1, _575) 0 ]
EXPR [ (1, _499) (1, _500) (-1, _576) 0 ]
EXPR [ (1, _497) (1, _498) (-1, _577) 0 ]
EXPR [ (1, _495) (1, _496) (-1, _578) 0 ]
EXPR [ (1, _493) (1, _494) (-1, _579) 0 ]
EXPR [ (1, _491) (1, _492) (-1, _580) 0 ]
EXPR [ (1, _489) (1, _490) (-1, _581) 0 ]
EXPR [ (-1, _50) (1, _488) (-1, _582) 0 ]
EXPR [ (1, _581) (1, _582) (-1, _583) 0 ]
EXPR [ (1, _579) (1, _580) (-1, _584) 0 ]
EXPR [ (1, _577) (1, _578) (-1, _585) 0 ]
EXPR [ (1, _575) (1, _576) (-1, _586) 0 ]
EXPR [ (1, _573) (1, _574) (-1, _587) 0 ]
EXPR [ (1, _571) (1, _572) (-1, _588) 0 ]
EXPR [ (1, _569) (1, _570) (-1, _589) 0 ]
EXPR [ (1, _567) (1, _568) (-1, _590) 0 ]
EXPR [ (1, _565) (1, _566) (-1, _591) 0 ]
EXPR [ (1, _563) (1, _564) (-1, _592) 0 ]
EXPR [ (1, _561) (1, _562) (-1, _593) 0 ]
EXPR [ (1, _559) (1, _560) (-1, _594) 0 ]
EXPR [ (1, _557) (1, _558) (-1, _595) 0 ]
EXPR [ (1, _555) (1, _556) (-1, _596) 0 ]
EXPR [ (1, _553) (1, _554) (-1, _597) 0 ]
EXPR [ (1, _551) (1, _552) (-1, _598) 0 ]
EXPR [ (1, _597) (1, _598) (-1, _599) 0 ]
EXPR [ (1, _595) (1, _596) (-1, _600) 0 ]
EXPR [ (1, _593) (1, _594) (-1, _601) 0 ]
EXPR [ (1, _591) (1, _592) (-1, _602) 0 ]
EXPR [ (1, _589) (1, _590) (-1, _603) 0 ]
EXPR [ (1, _587) (1, _588) (-1, _604) 0 ]
EXPR [ (1, _585) (1, _586) (-1, _605) 0 ]
EXPR [ (1, _583) (1, _584) (-1, _606) 0 ]
EXPR [ (1, _605) (1, _606) (-1, _607) 0 ]
EXPR [ (1, _603) (1, _604) (-1, _608) 0 ]
EXPR [ (1, _601) (1, _602) (-1, _609) 0 ]
EXPR [ (1, _599) (1, _600) (-1, _610) 0 ]
EXPR [ (1, _609) (1, _610) (-1, _611) 0 ]
EXPR [ (1, _607) (1, _608) (-1, _612) 0 ]
EXPR [ (10944121435919637611123202872628637544274182200208017171849102093287904247809, _2) (2¹⁶×166994040465082361009570356332834435184847750857666277646623261921507328, _46) (1, _613) 0 ]
EXPR [ (1, _611) (1, _612) (-1, _613) 0 ]

@joss-aztec
Copy link
Contributor Author

ACIR generated after refactor:

current witness index : 1215
public parameters indices : []
return value indices : []
BLACKBOX::RANGE [(_3, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_4, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_5, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_6, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_7, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_8, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_9, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_10, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_11, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_12, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_13, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_14, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_15, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_16, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_17, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_18, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_19, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_20, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_21, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_22, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_23, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_24, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_25, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_26, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_27, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_28, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_29, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_30, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_31, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_32, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_33, num_bits: 8)] [ ]
EXPR [ (-2¹¹², _17) (-2¹²⁰, _18) (-1, _634) 0 ]
EXPR [ (-2⁹⁶, _15) (-2¹⁰⁴, _16) (-1, _635) 0 ]
EXPR [ (-2⁸⁰, _13) (-2⁸⁸, _14) (-1, _636) 0 ]
EXPR [ (-2⁶⁴, _11) (-2⁷², _12) (-1, _637) 0 ]
EXPR [ (-2⁴⁸, _9) (-2⁵⁶, _10) (-1, _638) 0 ]
EXPR [ (-2³², _7) (-2⁴⁰, _8) (-1, _639) 0 ]
EXPR [ (-2¹⁶, _5) (-2²⁴, _6) (-1, _640) 0 ]
EXPR [ (1, _639) (1, _640) (-1, _641) 0 ]
EXPR [ (1, _637) (1, _638) (-1, _642) 0 ]
EXPR [ (1, _635) (1, _636) (-1, _643) 0 ]
EXPR [ (1, _642) (1, _643) (-1, _644) 0 ]
EXPR [ (1, _634) (1, _641) (-1, _645) 0 ]
EXPR [ (-1, _3) (-2⁸, _4) (1, _646) 2040124 ]
EXPR [ (1, _644) (1, _645) (-1, _646) 0 ]
DIR::TORADIX (_%EXPR [ 2040124 ]%, [_3..._33] )
BLACKBOX::RANGE [(_34, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_35, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_36, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_37, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_38, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_39, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_40, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_41, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_42, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_43, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_44, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_45, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_46, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_47, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_48, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_49, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_50, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_51, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_52, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_53, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_54, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_55, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_56, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_57, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_58, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_59, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_60, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_61, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_62, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_63, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_64, num_bits: 8)] [ ]
EXPR [ (-2¹¹², _48) (-2¹²⁰, _49) (-1, _660) 0 ]
EXPR [ (-2⁹⁶, _46) (-2¹⁰⁴, _47) (-1, _661) 0 ]
EXPR [ (-2⁸⁰, _44) (-2⁸⁸, _45) (-1, _662) 0 ]
EXPR [ (-2⁶⁴, _42) (-2⁷², _43) (-1, _663) 0 ]
EXPR [ (-2⁴⁸, _40) (-2⁵⁶, _41) (-1, _664) 0 ]
EXPR [ (-2³², _38) (-2⁴⁰, _39) (-1, _665) 0 ]
EXPR [ (-2¹⁶, _36) (-2²⁴, _37) (-1, _666) 0 ]
EXPR [ (1, _665) (1, _666) (-1, _667) 0 ]
EXPR [ (1, _663) (1, _664) (-1, _668) 0 ]
EXPR [ (1, _661) (1, _662) (-1, _669) 0 ]
EXPR [ (-2⁸, _35) (1, _660) (-1, _670) 0 ]
EXPR [ (1, _669) (1, _670) (-1, _671) 0 ]
EXPR [ (1, _667) (1, _668) (-1, _672) 0 ]
EXPR [ (1, _1) (-1, _34) (1, _673) 0 ]
EXPR [ (1, _671) (1, _672) (-1, _673) 0 ]
DIR::TORADIX (_x1, [_34..._64] )
EXPR [ (1, _34) (-1, _65) -60 ]
DIR::INVERT (_65, out: _66) 
EXPR [ (1, _65, _66) (1, _67) -1 ]
EXPR [ (1, _65, _67) 0 ]
EXPR [ (1, _67) -1 ]
EXPR [ (-1, _3) (1, _34) (-1, _68) 0 ]
DIR::INVERT (_68, out: _69) 
EXPR [ (1, _68, _69) (1, _70) -1 ]
EXPR [ (1, _68, _70) 0 ]
EXPR [ (1, _70) -1 ]
EXPR [ (-1, _4) (1, _35) (-1, _71) 0 ]
DIR::INVERT (_71, out: _72) 
EXPR [ (1, _71, _72) (1, _73) -1 ]
EXPR [ (1, _71, _73) 0 ]
EXPR [ (1, _73) -1 ]
EXPR [ (-1, _5) (1, _36) (-1, _74) 0 ]
DIR::INVERT (_74, out: _75) 
EXPR [ (1, _74, _75) (1, _76) -1 ]
EXPR [ (1, _74, _76) 0 ]
EXPR [ (1, _76) -1 ]
BLACKBOX::RANGE [(_77, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_78, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_79, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_80, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_81, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_82, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_83, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_84, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_85, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_86, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_87, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_88, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_89, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_90, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_91, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_92, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_93, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_94, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_95, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_96, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_97, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_98, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_99, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_100, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_101, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_102, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_103, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_104, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_105, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_106, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_107, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_108, num_bits: 8)] [ ]
EXPR [ (-2¹¹², _91) (-2¹²⁰, _92) (-1, _688) 0 ]
EXPR [ (-2⁹⁶, _89) (-2¹⁰⁴, _90) (-1, _689) 0 ]
EXPR [ (-2⁸⁰, _87) (-2⁸⁸, _88) (-1, _690) 0 ]
EXPR [ (-2⁶⁴, _85) (-2⁷², _86) (-1, _691) 0 ]
EXPR [ (-2⁴⁸, _83) (-2⁵⁶, _84) (-1, _692) 0 ]
EXPR [ (-2³², _81) (-2⁴⁰, _82) (-1, _693) 0 ]
EXPR [ (-2¹⁶, _79) (-2²⁴, _80) (-1, _694) 0 ]
EXPR [ (1, _693) (1, _694) (-1, _695) 0 ]
EXPR [ (1, _691) (1, _692) (-1, _696) 0 ]
EXPR [ (1, _689) (1, _690) (-1, _697) 0 ]
EXPR [ (1, _696) (1, _697) (-1, _698) 0 ]
EXPR [ (1, _688) (1, _695) (-1, _699) 0 ]
EXPR [ (-1, _77) (-2⁸, _78) (1, _700) -1 ]
EXPR [ (1, _698) (1, _699) (-1, _700) 0 ]
DIR::TORADIX (_%EXPR [ -1 ]%, [_77..._108] )
EXPR [ (-1, _87) (-1, _109) 185 ]
DIR::INVERT (_109, out: _110) 
EXPR [ (1, _109, _110) (1, _111) -1 ]
EXPR [ (1, _109, _111) 0 ]
EXPR [ (1, _111) -1 ]
EXPR [ (-1, _112) 1 ]
BLACKBOX::RANGE [(_112, num_bits: 8)] [ ]
DIR::QUOTIENT (out : _%EXPR [ (1, _77) 1 ]%,  (_114, %EXPR [ 2⁸ ]%), _113)
BLACKBOX::RANGE [(_113, num_bits: 8)] [ ]
BLACKBOX::RANGE [(_114, num_bits: 1)] [ ]
EXPR [ (-1, _77) (1, _113) (2⁸, _114) -1 ]
EXPR [ (-1, _113) (-1, _115) 1 ]
DIR::INVERT (_115, out: _116) 
EXPR [ (1, _115, _116) (1, _117) -1 ]
EXPR [ (1, _115, _117) 0 ]
EXPR [ (1, _117) -1 ]
EXPR [ (-1, _118) 254 ]
BLACKBOX::RANGE [(_118, num_bits: 32)] [ ]
BLACKBOX::RANGE [(_119, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_120, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_121, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_122, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_123, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_124, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_125, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_126, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_127, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_128, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_129, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_130, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_131, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_132, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_133, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_134, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_135, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_136, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_137, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_138, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_139, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_140, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_141, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_142, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_143, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_144, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_145, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_146, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_147, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_148, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_149, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_150, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_151, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_152, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_153, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_154, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_155, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_156, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_157, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_158, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_159, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_160, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_161, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_162, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_163, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_164, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_165, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_166, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_167, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_168, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_169, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_170, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_171, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_172, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_173, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_174, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_175, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_176, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_177, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_178, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_179, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_180, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_181, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_182, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_183, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_184, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_185, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_186, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_187, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_188, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_189, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_190, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_191, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_192, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_193, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_194, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_195, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_196, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_197, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_198, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_199, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_200, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_201, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_202, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_203, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_204, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_205, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_206, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_207, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_208, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_209, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_210, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_211, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_212, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_213, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_214, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_215, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_216, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_217, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_218, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_219, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_220, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_221, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_222, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_223, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_224, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_225, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_226, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_227, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_228, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_229, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_230, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_231, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_232, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_233, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_234, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_235, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_236, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_237, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_238, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_239, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_240, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_241, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_242, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_243, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_244, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_245, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_246, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_247, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_248, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_249, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_250, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_251, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_252, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_253, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_254, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_255, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_256, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_257, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_258, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_259, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_260, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_261, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_262, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_263, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_264, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_265, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_266, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_267, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_268, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_269, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_270, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_271, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_272, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_273, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_274, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_275, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_276, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_277, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_278, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_279, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_280, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_281, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_282, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_283, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_284, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_285, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_286, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_287, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_288, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_289, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_290, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_291, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_292, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_293, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_294, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_295, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_296, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_297, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_298, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_299, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_300, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_301, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_302, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_303, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_304, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_305, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_306, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_307, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_308, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_309, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_310, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_311, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_312, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_313, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_314, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_315, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_316, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_317, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_318, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_319, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_320, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_321, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_322, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_323, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_324, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_325, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_326, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_327, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_328, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_329, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_330, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_331, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_332, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_333, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_334, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_335, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_336, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_337, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_338, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_339, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_340, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_341, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_342, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_343, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_344, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_345, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_346, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_347, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_348, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_349, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_350, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_351, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_352, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_353, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_354, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_355, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_356, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_357, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_358, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_359, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_360, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_361, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_362, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_363, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_364, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_365, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_366, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_367, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_368, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_369, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_370, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_371, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_372, num_bits: 1)] [ ]
EXPR [ (-2¹²⁶, _245) (-2¹²⁷, _246) (-1, _714) 0 ]
EXPR [ (-2¹²⁴, _243) (-2¹²⁵, _244) (-1, _715) 0 ]
EXPR [ (-2¹²², _241) (-2¹²³, _242) (-1, _716) 0 ]
EXPR [ (-2¹²⁰, _239) (-2¹²¹, _240) (-1, _717) 0 ]
EXPR [ (-2¹¹⁸, _237) (-2¹¹⁹, _238) (-1, _718) 0 ]
EXPR [ (-2¹¹⁶, _235) (-2¹¹⁷, _236) (-1, _719) 0 ]
EXPR [ (-2¹¹⁴, _233) (-2¹¹⁵, _234) (-1, _720) 0 ]
EXPR [ (-2¹¹², _231) (-2¹¹³, _232) (-1, _721) 0 ]
EXPR [ (-2¹¹⁰, _229) (-2¹¹¹, _230) (-1, _722) 0 ]
EXPR [ (-2¹⁰⁸, _227) (-2¹⁰⁹, _228) (-1, _723) 0 ]
EXPR [ (-2¹⁰⁶, _225) (-2¹⁰⁷, _226) (-1, _724) 0 ]
EXPR [ (-2¹⁰⁴, _223) (-2¹⁰⁵, _224) (-1, _725) 0 ]
EXPR [ (-2¹⁰², _221) (-2¹⁰³, _222) (-1, _726) 0 ]
EXPR [ (-2¹⁰⁰, _219) (-2¹⁰¹, _220) (-1, _727) 0 ]
EXPR [ (-2⁹⁸, _217) (-2⁹⁹, _218) (-1, _728) 0 ]
EXPR [ (-2⁹⁶, _215) (-2⁹⁷, _216) (-1, _729) 0 ]
EXPR [ (-2⁹⁴, _213) (-2⁹⁵, _214) (-1, _730) 0 ]
EXPR [ (-2⁹², _211) (-2⁹³, _212) (-1, _731) 0 ]
EXPR [ (-2⁹⁰, _209) (-2⁹¹, _210) (-1, _732) 0 ]
EXPR [ (-2⁸⁸, _207) (-2⁸⁹, _208) (-1, _733) 0 ]
EXPR [ (-2⁸⁶, _205) (-2⁸⁷, _206) (-1, _734) 0 ]
EXPR [ (-2⁸⁴, _203) (-2⁸⁵, _204) (-1, _735) 0 ]
EXPR [ (-2⁸², _201) (-2⁸³, _202) (-1, _736) 0 ]
EXPR [ (-2⁸⁰, _199) (-2⁸¹, _200) (-1, _737) 0 ]
EXPR [ (-2⁷⁸, _197) (-2⁷⁹, _198) (-1, _738) 0 ]
EXPR [ (-2⁷⁶, _195) (-2⁷⁷, _196) (-1, _739) 0 ]
EXPR [ (-2⁷⁴, _193) (-2⁷⁵, _194) (-1, _740) 0 ]
EXPR [ (-2⁷², _191) (-2⁷³, _192) (-1, _741) 0 ]
EXPR [ (-2⁷⁰, _189) (-2⁷¹, _190) (-1, _742) 0 ]
EXPR [ (-2⁶⁸, _187) (-2⁶⁹, _188) (-1, _743) 0 ]
EXPR [ (-2⁶⁶, _185) (-2⁶⁷, _186) (-1, _744) 0 ]
EXPR [ (-2⁶⁴, _183) (-2⁶⁵, _184) (-1, _745) 0 ]
EXPR [ (-2⁶², _181) (-2⁶³, _182) (-1, _746) 0 ]
EXPR [ (-2⁶⁰, _179) (-2⁶¹, _180) (-1, _747) 0 ]
EXPR [ (-2⁵⁸, _177) (-2⁵⁹, _178) (-1, _748) 0 ]
EXPR [ (-2⁵⁶, _175) (-2⁵⁷, _176) (-1, _749) 0 ]
EXPR [ (-2⁵⁴, _173) (-2⁵⁵, _174) (-1, _750) 0 ]
EXPR [ (-2⁵², _171) (-2⁵³, _172) (-1, _751) 0 ]
EXPR [ (-2⁵⁰, _169) (-2⁵¹, _170) (-1, _752) 0 ]
EXPR [ (-2⁴⁸, _167) (-2⁴⁹, _168) (-1, _753) 0 ]
EXPR [ (-2⁴⁶, _165) (-2⁴⁷, _166) (-1, _754) 0 ]
EXPR [ (-2⁴⁴, _163) (-2⁴⁵, _164) (-1, _755) 0 ]
EXPR [ (-2⁴², _161) (-2⁴³, _162) (-1, _756) 0 ]
EXPR [ (-2⁴⁰, _159) (-2⁴¹, _160) (-1, _757) 0 ]
EXPR [ (-2³⁸, _157) (-2³⁹, _158) (-1, _758) 0 ]
EXPR [ (-2³⁶, _155) (-2³⁷, _156) (-1, _759) 0 ]
EXPR [ (-2³⁴, _153) (-2³⁵, _154) (-1, _760) 0 ]
EXPR [ (-2³², _151) (-2³³, _152) (-1, _761) 0 ]
EXPR [ (-2³⁰, _149) (-2³¹, _150) (-1, _762) 0 ]
EXPR [ (-2²⁸, _147) (-2²⁹, _148) (-1, _763) 0 ]
EXPR [ (-2²⁶, _145) (-2²⁷, _146) (-1, _764) 0 ]
EXPR [ (-2²⁴, _143) (-2²⁵, _144) (-1, _765) 0 ]
EXPR [ (-2²², _141) (-2²³, _142) (-1, _766) 0 ]
EXPR [ (-2²⁰, _139) (-2²¹, _140) (-1, _767) 0 ]
EXPR [ (-2¹⁸, _137) (-2¹⁹, _138) (-1, _768) 0 ]
EXPR [ (-2¹⁶, _135) (-2¹⁷, _136) (-1, _769) 0 ]
EXPR [ (-2¹⁴, _133) (-2¹⁵, _134) (-1, _770) 0 ]
EXPR [ (-2¹², _131) (-2¹³, _132) (-1, _771) 0 ]
EXPR [ (-2¹⁰, _129) (-2¹¹, _130) (-1, _772) 0 ]
EXPR [ (-2⁸, _127) (-2⁹, _128) (-1, _773) 0 ]
EXPR [ (-2⁶, _125) (-2⁷, _126) (-1, _774) 0 ]
EXPR [ (-2⁴, _123) (-2⁵, _124) (-1, _775) 0 ]
EXPR [ (-4, _121) (-8, _122) (-1, _776) 0 ]
EXPR [ (1, _775) (1, _776) (-1, _777) 0 ]
EXPR [ (1, _773) (1, _774) (-1, _778) 0 ]
EXPR [ (1, _771) (1, _772) (-1, _779) 0 ]
EXPR [ (1, _769) (1, _770) (-1, _780) 0 ]
EXPR [ (1, _767) (1, _768) (-1, _781) 0 ]
EXPR [ (1, _765) (1, _766) (-1, _782) 0 ]
EXPR [ (1, _763) (1, _764) (-1, _783) 0 ]
EXPR [ (1, _761) (1, _762) (-1, _784) 0 ]
EXPR [ (1, _759) (1, _760) (-1, _785) 0 ]
EXPR [ (1, _757) (1, _758) (-1, _786) 0 ]
EXPR [ (1, _755) (1, _756) (-1, _787) 0 ]
EXPR [ (1, _753) (1, _754) (-1, _788) 0 ]
EXPR [ (1, _751) (1, _752) (-1, _789) 0 ]
EXPR [ (1, _749) (1, _750) (-1, _790) 0 ]
EXPR [ (1, _747) (1, _748) (-1, _791) 0 ]
EXPR [ (1, _745) (1, _746) (-1, _792) 0 ]
EXPR [ (1, _743) (1, _744) (-1, _793) 0 ]
EXPR [ (1, _741) (1, _742) (-1, _794) 0 ]
EXPR [ (1, _739) (1, _740) (-1, _795) 0 ]
EXPR [ (1, _737) (1, _738) (-1, _796) 0 ]
EXPR [ (1, _735) (1, _736) (-1, _797) 0 ]
EXPR [ (1, _733) (1, _734) (-1, _798) 0 ]
EXPR [ (1, _731) (1, _732) (-1, _799) 0 ]
EXPR [ (1, _729) (1, _730) (-1, _800) 0 ]
EXPR [ (1, _727) (1, _728) (-1, _801) 0 ]
EXPR [ (1, _725) (1, _726) (-1, _802) 0 ]
EXPR [ (1, _723) (1, _724) (-1, _803) 0 ]
EXPR [ (1, _721) (1, _722) (-1, _804) 0 ]
EXPR [ (1, _719) (1, _720) (-1, _805) 0 ]
EXPR [ (1, _717) (1, _718) (-1, _806) 0 ]
EXPR [ (1, _715) (1, _716) (-1, _807) 0 ]
EXPR [ (1, _806) (1, _807) (-1, _808) 0 ]
EXPR [ (1, _804) (1, _805) (-1, _809) 0 ]
EXPR [ (1, _802) (1, _803) (-1, _810) 0 ]
EXPR [ (1, _800) (1, _801) (-1, _811) 0 ]
EXPR [ (1, _798) (1, _799) (-1, _812) 0 ]
EXPR [ (1, _796) (1, _797) (-1, _813) 0 ]
EXPR [ (1, _794) (1, _795) (-1, _814) 0 ]
EXPR [ (1, _792) (1, _793) (-1, _815) 0 ]
EXPR [ (1, _790) (1, _791) (-1, _816) 0 ]
EXPR [ (1, _788) (1, _789) (-1, _817) 0 ]
EXPR [ (1, _786) (1, _787) (-1, _818) 0 ]
EXPR [ (1, _784) (1, _785) (-1, _819) 0 ]
EXPR [ (1, _782) (1, _783) (-1, _820) 0 ]
EXPR [ (1, _780) (1, _781) (-1, _821) 0 ]
EXPR [ (1, _778) (1, _779) (-1, _822) 0 ]
EXPR [ (1, _714) (1, _777) (-1, _823) 0 ]
EXPR [ (1, _822) (1, _823) (-1, _824) 0 ]
EXPR [ (1, _820) (1, _821) (-1, _825) 0 ]
EXPR [ (1, _818) (1, _819) (-1, _826) 0 ]
EXPR [ (1, _816) (1, _817) (-1, _827) 0 ]
EXPR [ (1, _814) (1, _815) (-1, _828) 0 ]
EXPR [ (1, _812) (1, _813) (-1, _829) 0 ]
EXPR [ (1, _810) (1, _811) (-1, _830) 0 ]
EXPR [ (1, _808) (1, _809) (-1, _831) 0 ]
EXPR [ (1, _830) (1, _831) (-1, _832) 0 ]
EXPR [ (1, _828) (1, _829) (-1, _833) 0 ]
EXPR [ (1, _826) (1, _827) (-1, _834) 0 ]
EXPR [ (1, _824) (1, _825) (-1, _835) 0 ]
EXPR [ (1, _834) (1, _835) (-1, _836) 0 ]
EXPR [ (1, _832) (1, _833) (-1, _837) 0 ]
EXPR [ (-1, _119) (-2, _120) (1, _838) -1 ]
EXPR [ (1, _836) (1, _837) (-1, _838) 0 ]
DIR::TORADIX (_%EXPR [ -1 ]%, [_119..._372] )
DIR::INVERT (_119, out: _373) 
EXPR [ (1, _119, _373) (1, _374) -1 ]
EXPR [ (1, _119, _374) 0 ]
EXPR [ (1, _374) -1 ]
EXPR [ (-1, _219) (-1, _375) 0 ]
DIR::INVERT (_375, out: _376) 
EXPR [ (1, _375, _376) (1, _377) -1 ]
EXPR [ (1, _375, _377) 0 ]
EXPR [ (1, _377) -1 ]
EXPR [ (-1, _378) 254 ]
BLACKBOX::RANGE [(_378, num_bits: 32)] [ ]
BLACKBOX::RANGE [(_379, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_380, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_381, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_382, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_383, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_384, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_385, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_386, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_387, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_388, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_389, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_390, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_391, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_392, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_393, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_394, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_395, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_396, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_397, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_398, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_399, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_400, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_401, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_402, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_403, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_404, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_405, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_406, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_407, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_408, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_409, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_410, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_411, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_412, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_413, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_414, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_415, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_416, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_417, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_418, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_419, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_420, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_421, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_422, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_423, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_424, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_425, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_426, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_427, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_428, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_429, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_430, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_431, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_432, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_433, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_434, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_435, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_436, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_437, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_438, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_439, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_440, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_441, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_442, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_443, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_444, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_445, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_446, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_447, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_448, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_449, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_450, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_451, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_452, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_453, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_454, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_455, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_456, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_457, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_458, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_459, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_460, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_461, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_462, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_463, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_464, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_465, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_466, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_467, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_468, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_469, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_470, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_471, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_472, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_473, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_474, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_475, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_476, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_477, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_478, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_479, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_480, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_481, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_482, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_483, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_484, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_485, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_486, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_487, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_488, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_489, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_490, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_491, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_492, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_493, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_494, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_495, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_496, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_497, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_498, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_499, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_500, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_501, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_502, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_503, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_504, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_505, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_506, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_507, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_508, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_509, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_510, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_511, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_512, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_513, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_514, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_515, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_516, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_517, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_518, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_519, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_520, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_521, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_522, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_523, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_524, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_525, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_526, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_527, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_528, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_529, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_530, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_531, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_532, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_533, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_534, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_535, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_536, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_537, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_538, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_539, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_540, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_541, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_542, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_543, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_544, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_545, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_546, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_547, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_548, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_549, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_550, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_551, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_552, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_553, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_554, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_555, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_556, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_557, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_558, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_559, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_560, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_561, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_562, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_563, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_564, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_565, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_566, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_567, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_568, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_569, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_570, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_571, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_572, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_573, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_574, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_575, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_576, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_577, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_578, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_579, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_580, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_581, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_582, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_583, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_584, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_585, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_586, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_587, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_588, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_589, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_590, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_591, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_592, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_593, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_594, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_595, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_596, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_597, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_598, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_599, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_600, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_601, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_602, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_603, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_604, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_605, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_606, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_607, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_608, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_609, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_610, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_611, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_612, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_613, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_614, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_615, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_616, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_617, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_618, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_619, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_620, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_621, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_622, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_623, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_624, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_625, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_626, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_627, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_628, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_629, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_630, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_631, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_632, num_bits: 1)] [ ]
EXPR [ (-2¹²⁶, _505) (-2¹²⁷, _506) (-1, _964) 0 ]
EXPR [ (-2¹²⁴, _503) (-2¹²⁵, _504) (-1, _965) 0 ]
EXPR [ (-2¹²², _501) (-2¹²³, _502) (-1, _966) 0 ]
EXPR [ (-2¹²⁰, _499) (-2¹²¹, _500) (-1, _967) 0 ]
EXPR [ (-2¹¹⁸, _497) (-2¹¹⁹, _498) (-1, _968) 0 ]
EXPR [ (-2¹¹⁶, _495) (-2¹¹⁷, _496) (-1, _969) 0 ]
EXPR [ (-2¹¹⁴, _493) (-2¹¹⁵, _494) (-1, _970) 0 ]
EXPR [ (-2¹¹², _491) (-2¹¹³, _492) (-1, _971) 0 ]
EXPR [ (-2¹¹⁰, _489) (-2¹¹¹, _490) (-1, _972) 0 ]
EXPR [ (-2¹⁰⁸, _487) (-2¹⁰⁹, _488) (-1, _973) 0 ]
EXPR [ (-2¹⁰⁶, _485) (-2¹⁰⁷, _486) (-1, _974) 0 ]
EXPR [ (-2¹⁰⁴, _483) (-2¹⁰⁵, _484) (-1, _975) 0 ]
EXPR [ (-2¹⁰², _481) (-2¹⁰³, _482) (-1, _976) 0 ]
EXPR [ (-2¹⁰⁰, _479) (-2¹⁰¹, _480) (-1, _977) 0 ]
EXPR [ (-2⁹⁸, _477) (-2⁹⁹, _478) (-1, _978) 0 ]
EXPR [ (-2⁹⁶, _475) (-2⁹⁷, _476) (-1, _979) 0 ]
EXPR [ (-2⁹⁴, _473) (-2⁹⁵, _474) (-1, _980) 0 ]
EXPR [ (-2⁹², _471) (-2⁹³, _472) (-1, _981) 0 ]
EXPR [ (-2⁹⁰, _469) (-2⁹¹, _470) (-1, _982) 0 ]
EXPR [ (-2⁸⁸, _467) (-2⁸⁹, _468) (-1, _983) 0 ]
EXPR [ (-2⁸⁶, _465) (-2⁸⁷, _466) (-1, _984) 0 ]
EXPR [ (-2⁸⁴, _463) (-2⁸⁵, _464) (-1, _985) 0 ]
EXPR [ (-2⁸², _461) (-2⁸³, _462) (-1, _986) 0 ]
EXPR [ (-2⁸⁰, _459) (-2⁸¹, _460) (-1, _987) 0 ]
EXPR [ (-2⁷⁸, _457) (-2⁷⁹, _458) (-1, _988) 0 ]
EXPR [ (-2⁷⁶, _455) (-2⁷⁷, _456) (-1, _989) 0 ]
EXPR [ (-2⁷⁴, _453) (-2⁷⁵, _454) (-1, _990) 0 ]
EXPR [ (-2⁷², _451) (-2⁷³, _452) (-1, _991) 0 ]
EXPR [ (-2⁷⁰, _449) (-2⁷¹, _450) (-1, _992) 0 ]
EXPR [ (-2⁶⁸, _447) (-2⁶⁹, _448) (-1, _993) 0 ]
EXPR [ (-2⁶⁶, _445) (-2⁶⁷, _446) (-1, _994) 0 ]
EXPR [ (-2⁶⁴, _443) (-2⁶⁵, _444) (-1, _995) 0 ]
EXPR [ (-2⁶², _441) (-2⁶³, _442) (-1, _996) 0 ]
EXPR [ (-2⁶⁰, _439) (-2⁶¹, _440) (-1, _997) 0 ]
EXPR [ (-2⁵⁸, _437) (-2⁵⁹, _438) (-1, _998) 0 ]
EXPR [ (-2⁵⁶, _435) (-2⁵⁷, _436) (-1, _999) 0 ]
EXPR [ (-2⁵⁴, _433) (-2⁵⁵, _434) (-1, _1000) 0 ]
EXPR [ (-2⁵², _431) (-2⁵³, _432) (-1, _1001) 0 ]
EXPR [ (-2⁵⁰, _429) (-2⁵¹, _430) (-1, _1002) 0 ]
EXPR [ (-2⁴⁸, _427) (-2⁴⁹, _428) (-1, _1003) 0 ]
EXPR [ (-2⁴⁶, _425) (-2⁴⁷, _426) (-1, _1004) 0 ]
EXPR [ (-2⁴⁴, _423) (-2⁴⁵, _424) (-1, _1005) 0 ]
EXPR [ (-2⁴², _421) (-2⁴³, _422) (-1, _1006) 0 ]
EXPR [ (-2⁴⁰, _419) (-2⁴¹, _420) (-1, _1007) 0 ]
EXPR [ (-2³⁸, _417) (-2³⁹, _418) (-1, _1008) 0 ]
EXPR [ (-2³⁶, _415) (-2³⁷, _416) (-1, _1009) 0 ]
EXPR [ (-2³⁴, _413) (-2³⁵, _414) (-1, _1010) 0 ]
EXPR [ (-2³², _411) (-2³³, _412) (-1, _1011) 0 ]
EXPR [ (-2³⁰, _409) (-2³¹, _410) (-1, _1012) 0 ]
EXPR [ (-2²⁸, _407) (-2²⁹, _408) (-1, _1013) 0 ]
EXPR [ (-2²⁶, _405) (-2²⁷, _406) (-1, _1014) 0 ]
EXPR [ (-2²⁴, _403) (-2²⁵, _404) (-1, _1015) 0 ]
EXPR [ (-2²², _401) (-2²³, _402) (-1, _1016) 0 ]
EXPR [ (-2²⁰, _399) (-2²¹, _400) (-1, _1017) 0 ]
EXPR [ (-2¹⁸, _397) (-2¹⁹, _398) (-1, _1018) 0 ]
EXPR [ (-2¹⁶, _395) (-2¹⁷, _396) (-1, _1019) 0 ]
EXPR [ (-2¹⁴, _393) (-2¹⁵, _394) (-1, _1020) 0 ]
EXPR [ (-2¹², _391) (-2¹³, _392) (-1, _1021) 0 ]
EXPR [ (-2¹⁰, _389) (-2¹¹, _390) (-1, _1022) 0 ]
EXPR [ (-2⁸, _387) (-2⁹, _388) (-1, _1023) 0 ]
EXPR [ (-2⁶, _385) (-2⁷, _386) (-1, _1024) 0 ]
EXPR [ (-2⁴, _383) (-2⁵, _384) (-1, _1025) 0 ]
EXPR [ (-4, _381) (-8, _382) (-1, _1026) 0 ]
EXPR [ (1, _1025) (1, _1026) (-1, _1027) 0 ]
EXPR [ (1, _1023) (1, _1024) (-1, _1028) 0 ]
EXPR [ (1, _1021) (1, _1022) (-1, _1029) 0 ]
EXPR [ (1, _1019) (1, _1020) (-1, _1030) 0 ]
EXPR [ (1, _1017) (1, _1018) (-1, _1031) 0 ]
EXPR [ (1, _1015) (1, _1016) (-1, _1032) 0 ]
EXPR [ (1, _1013) (1, _1014) (-1, _1033) 0 ]
EXPR [ (1, _1011) (1, _1012) (-1, _1034) 0 ]
EXPR [ (1, _1009) (1, _1010) (-1, _1035) 0 ]
EXPR [ (1, _1007) (1, _1008) (-1, _1036) 0 ]
EXPR [ (1, _1005) (1, _1006) (-1, _1037) 0 ]
EXPR [ (1, _1003) (1, _1004) (-1, _1038) 0 ]
EXPR [ (1, _1001) (1, _1002) (-1, _1039) 0 ]
EXPR [ (1, _999) (1, _1000) (-1, _1040) 0 ]
EXPR [ (1, _997) (1, _998) (-1, _1041) 0 ]
EXPR [ (1, _995) (1, _996) (-1, _1042) 0 ]
EXPR [ (1, _993) (1, _994) (-1, _1043) 0 ]
EXPR [ (1, _991) (1, _992) (-1, _1044) 0 ]
EXPR [ (1, _989) (1, _990) (-1, _1045) 0 ]
EXPR [ (1, _987) (1, _988) (-1, _1046) 0 ]
EXPR [ (1, _985) (1, _986) (-1, _1047) 0 ]
EXPR [ (1, _983) (1, _984) (-1, _1048) 0 ]
EXPR [ (1, _981) (1, _982) (-1, _1049) 0 ]
EXPR [ (1, _979) (1, _980) (-1, _1050) 0 ]
EXPR [ (1, _977) (1, _978) (-1, _1051) 0 ]
EXPR [ (1, _975) (1, _976) (-1, _1052) 0 ]
EXPR [ (1, _973) (1, _974) (-1, _1053) 0 ]
EXPR [ (1, _971) (1, _972) (-1, _1054) 0 ]
EXPR [ (1, _969) (1, _970) (-1, _1055) 0 ]
EXPR [ (1, _967) (1, _968) (-1, _1056) 0 ]
EXPR [ (1, _965) (1, _966) (-1, _1057) 0 ]
EXPR [ (-2, _380) (1, _964) (-1, _1058) 0 ]
EXPR [ (1, _1057) (1, _1058) (-1, _1059) 0 ]
EXPR [ (1, _1055) (1, _1056) (-1, _1060) 0 ]
EXPR [ (1, _1053) (1, _1054) (-1, _1061) 0 ]
EXPR [ (1, _1051) (1, _1052) (-1, _1062) 0 ]
EXPR [ (1, _1049) (1, _1050) (-1, _1063) 0 ]
EXPR [ (1, _1047) (1, _1048) (-1, _1064) 0 ]
EXPR [ (1, _1045) (1, _1046) (-1, _1065) 0 ]
EXPR [ (1, _1043) (1, _1044) (-1, _1066) 0 ]
EXPR [ (1, _1041) (1, _1042) (-1, _1067) 0 ]
EXPR [ (1, _1039) (1, _1040) (-1, _1068) 0 ]
EXPR [ (1, _1037) (1, _1038) (-1, _1069) 0 ]
EXPR [ (1, _1035) (1, _1036) (-1, _1070) 0 ]
EXPR [ (1, _1033) (1, _1034) (-1, _1071) 0 ]
EXPR [ (1, _1031) (1, _1032) (-1, _1072) 0 ]
EXPR [ (1, _1029) (1, _1030) (-1, _1073) 0 ]
EXPR [ (1, _1027) (1, _1028) (-1, _1074) 0 ]
EXPR [ (1, _1073) (1, _1074) (-1, _1075) 0 ]
EXPR [ (1, _1071) (1, _1072) (-1, _1076) 0 ]
EXPR [ (1, _1069) (1, _1070) (-1, _1077) 0 ]
EXPR [ (1, _1067) (1, _1068) (-1, _1078) 0 ]
EXPR [ (1, _1065) (1, _1066) (-1, _1079) 0 ]
EXPR [ (1, _1063) (1, _1064) (-1, _1080) 0 ]
EXPR [ (1, _1061) (1, _1062) (-1, _1081) 0 ]
EXPR [ (1, _1059) (1, _1060) (-1, _1082) 0 ]
EXPR [ (1, _1081) (1, _1082) (-1, _1083) 0 ]
EXPR [ (1, _1079) (1, _1080) (-1, _1084) 0 ]
EXPR [ (1, _1077) (1, _1078) (-1, _1085) 0 ]
EXPR [ (1, _1075) (1, _1076) (-1, _1086) 0 ]
EXPR [ (1, _1085) (1, _1086) (-1, _1087) 0 ]
EXPR [ (1, _1083) (1, _1084) (-1, _1088) 0 ]
EXPR [ (1, _2) (-1, _379) (1, _1089) 0 ]
EXPR [ (1, _1087) (1, _1088) (-1, _1089) 0 ]
DIR::TORADIX (_x2, [_379..._632] )

@joss-aztec
Copy link
Contributor Author

Notably post ssa refactor, the ACIR is approximately twice as big. A large chunk of which are BLACKBOX::RANGE (607 vs 32)

@joss-aztec
Copy link
Contributor Author

The extra BLACKBOX::RANGE are likely caused by our current blanket truncation strategy

@joss-aztec joss-aztec mentioned this issue Jun 21, 2023
Merged
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
Noir
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix(ssa refactor): allow simplified call inserts & fix const radix arg handling noir-lang/noir
1 participant
@joss-aztec