/* cint-core-1, cint-rt-3, emitted by cintc */ #include #include #include #include "cint_rt.h" CINT_RT_INTERNAL const cint_site_info cg_8_pendulum_sites[562] = { {0u, 0u, ""}, {15u, 9u, "abs.checked.i64"}, {16u, 20u, "mul.checked.i64"}, {16u, 25u, "div.checked.i64"}, {16u, 15u, "sub.checked.i64"}, {18u, 21u, "neg.checked.i64"}, {18u, 12u, "clamp.checked.i64"}, {22u, 15u, "rem.checked.i64"}, {24u, 15u, "sub.checked.i64"}, {26u, 13u, "neg.checked.i64"}, {27u, 15u, "add.checked.i64"}, {30u, 16u, "sub.checked.i64"}, {32u, 13u, "neg.checked.i64"}, {33u, 13u, "neg.checked.i64"}, {33u, 17u, "sub.checked.i64"}, {36u, 17u, "mul.checked.i64"}, {36u, 25u, "div.checked.i64"}, {36u, 21u, "add.checked.i64"}, {36u, 30u, "div.checked.i64"}, {37u, 18u, "mul.checked.i64"}, {37u, 26u, "div.checked.i64"}, {37u, 22u, "add.checked.i64"}, {37u, 31u, "div.checked.i64"}, {38u, 18u, "mul.checked.i64"}, {38u, 27u, "div.checked.i64"}, {38u, 23u, "add.checked.i64"}, {38u, 32u, "div.checked.i64"}, {39u, 18u, "mul.checked.i64"}, {39u, 27u, "div.checked.i64"}, {39u, 23u, "add.checked.i64"}, {39u, 32u, "div.checked.i64"}, {40u, 19u, "div.checked.i64"}, {40u, 14u, "sub.checked.i64"}, {40u, 28u, "div.checked.i64"}, {40u, 23u, "add.checked.i64"}, {40u, 39u, "div.checked.i64"}, {40u, 34u, "sub.checked.i64"}, {44u, 19u, "add.checked.i64"}, {44u, 12u, "call.enter"}, {75u, 16u, "call.enter"}, {76u, 16u, "call.enter"}, {77u, 16u, "mul.checked.i64"}, {77u, 27u, "div.checked.i64"}, {77u, 23u, "add.checked.i64"}, {77u, 32u, "div.checked.i64"}, {78u, 16u, "mul.checked.i64"}, {78u, 27u, "div.checked.i64"}, {78u, 23u, "add.checked.i64"}, {78u, 32u, "div.checked.i64"}, {80u, 23u, "mul.checked.i64"}, {80u, 31u, "mul.checked.i64"}, {80u, 27u, "add.checked.i64"}, {80u, 39u, "mul.checked.i64"}, {80u, 35u, "add.checked.i64"}, {80u, 15u, "isqrt.checked.i64"}, {84u, 13u, "mul.checked.i64"}, {84u, 23u, "div.checked.i64"}, {84u, 17u, "add.checked.i64"}, {84u, 28u, "div.checked.i64"}, {85u, 13u, "mul.checked.i64"}, {85u, 23u, "div.checked.i64"}, {85u, 17u, "add.checked.i64"}, {85u, 28u, "div.checked.i64"}, {86u, 13u, "mul.checked.i64"}, {86u, 23u, "div.checked.i64"}, {86u, 17u, "add.checked.i64"}, {86u, 28u, "div.checked.i64"}, {92u, 5u, "fuel.charge"}, {93u, 12u, "index.checked.i64"}, {94u, 12u, "index.checked.i64"}, {95u, 13u, "index.checked.i64"}, {96u, 13u, "index.checked.i64"}, {97u, 11u, "index.checked.i64"}, {98u, 11u, "index.checked.i64"}, {99u, 15u, "index.checked.i64"}, {100u, 15u, "index.checked.i64"}, {101u, 15u, "index.checked.u64"}, {116u, 5u, "fuel.charge"}, {117u, 22u, "index.checked.i64"}, {117u, 31u, "index.checked.i64"}, {117u, 26u, "sub.checked.i64"}, {118u, 26u, "index.checked.i64"}, {118u, 18u, "call.enter"}, {119u, 26u, "index.checked.i64"}, {119u, 18u, "call.enter"}, {120u, 26u, "index.checked.i64"}, {120u, 18u, "call.enter"}, {121u, 26u, "index.checked.i64"}, {121u, 18u, "call.enter"}, {122u, 15u, "index.checked.i64"}, {123u, 15u, "index.checked.i64"}, {124u, 15u, "index.checked.i64"}, {125u, 15u, "index.checked.i64"}, {127u, 18u, "call.enter"}, {128u, 18u, "call.enter"}, {129u, 26u, "mul.checked.i64"}, {129u, 19u, "call.enter"}, {131u, 21u, "mul.checked.i64"}, {131u, 25u, "sub.checked.i64"}, {136u, 24u, "index.checked.i64"}, {136u, 32u, "index.checked.i64"}, {136u, 28u, "mul.checked.i64"}, {136u, 40u, "div.checked.i64"}, {136u, 36u, "add.checked.i64"}, {136u, 45u, "div.checked.i64"}, {137u, 24u, "index.checked.i64"}, {137u, 32u, "index.checked.i64"}, {137u, 28u, "mul.checked.i64"}, {137u, 40u, "div.checked.i64"}, {137u, 36u, "add.checked.i64"}, {137u, 45u, "div.checked.i64"}, {139u, 28u, "mul.checked.i64"}, {139u, 33u, "div.checked.i64"}, {139u, 23u, "mul.checked.i64"}, {139u, 53u, "index.checked.i64"}, {139u, 66u, "index.checked.i64"}, {139u, 61u, "mul.checked.i64"}, {139u, 57u, "sub.checked.i64"}, {139u, 45u, "call.enter"}, {139u, 43u, "mul.checked.i64"}, {139u, 71u, "div.checked.i64"}, {139u, 38u, "sub.checked.i64"}, {139u, 104u, "mul.checked.i64"}, {139u, 109u, "div.checked.i64"}, {139u, 95u, "add.checked.i64"}, {139u, 86u, "mul.checked.i64"}, {139u, 115u, "div.checked.i64"}, {139u, 80u, "mul.checked.i64"}, {139u, 76u, "sub.checked.i64"}, {140u, 15u, "index.checked.i64"}, {140u, 27u, "mul.checked.i64"}, {140u, 32u, "div.checked.i64"}, {142u, 23u, "mul.checked.i64"}, {142u, 29u, "div.checked.i64"}, {143u, 33u, "mul.checked.i64"}, {143u, 45u, "mul.checked.i64"}, {143u, 41u, "add.checked.i64"}, {143u, 61u, "mul.checked.i64"}, {143u, 66u, "div.checked.i64"}, {143u, 52u, "add.checked.i64"}, {143u, 28u, "mul.checked.i64"}, {143u, 72u, "div.checked.i64"}, {143u, 22u, "mul.checked.i64"}, {144u, 15u, "index.checked.i64"}, {144u, 27u, "mul.checked.i64"}, {144u, 32u, "div.checked.i64"}, {146u, 29u, "index.checked.i64"}, {146u, 41u, "index.checked.i64"}, {146u, 33u, "mul.checked.i64"}, {146u, 45u, "div.checked.i64"}, {146u, 56u, "mul.checked.i64"}, {146u, 61u, "div.checked.i64"}, {146u, 50u, "mul.checked.i64"}, {146u, 67u, "div.checked.i64"}, {147u, 29u, "index.checked.i64"}, {147u, 41u, "index.checked.i64"}, {147u, 33u, "mul.checked.i64"}, {147u, 45u, "div.checked.i64"}, {147u, 56u, "mul.checked.i64"}, {147u, 61u, "div.checked.i64"}, {147u, 50u, "mul.checked.i64"}, {147u, 67u, "div.checked.i64"}, {148u, 15u, "index.checked.i64"}, {148u, 27u, "index.checked.i64"}, {148u, 31u, "add.checked.i64"}, {149u, 15u, "index.checked.i64"}, {149u, 27u, "index.checked.i64"}, {149u, 31u, "add.checked.i64"}, {151u, 24u, "index.checked.i64"}, {151u, 34u, "index.checked.i64"}, {151u, 28u, "sub.checked.i64"}, {152u, 22u, "call.enter"}, {153u, 22u, "mul.checked.i64"}, {153u, 32u, "div.checked.i64"}, {154u, 19u, "index.checked.i64"}, {154u, 25u, "neg.checked.i64"}, {155u, 19u, "index.checked.i64"}, {163u, 21u, "mul.checked.i64"}, {163u, 34u, "mul.checked.i64"}, {163u, 48u, "div.checked.i64"}, {164u, 31u, "mul.checked.i64"}, {164u, 22u, "isqrt.checked.i64"}, {164u, 20u, "mul.checked.i64"}, {165u, 9u, "fuel.charge"}, {166u, 19u, "index.checked.i64"}, {166u, 31u, "index.checked.i64"}, {166u, 46u, "index.checked.i64"}, {166u, 55u, "index.checked.i64"}, {166u, 50u, "sub.checked.i64"}, {166u, 38u, "call.enter"}, {166u, 60u, "mul.checked.i64"}, {166u, 66u, "div.checked.i64"}, {166u, 35u, "add.checked.i64"}, {166u, 76u, "index.checked.i64"}, {166u, 84u, "index.checked.i64"}, {166u, 80u, "sub.checked.i64"}, {166u, 89u, "mul.checked.i64"}, {166u, 95u, "div.checked.i64"}, {166u, 70u, "add.checked.i64"}, {167u, 19u, "index.checked.i64"}, {167u, 31u, "index.checked.i64"}, {167u, 46u, "index.checked.i64"}, {167u, 55u, "index.checked.i64"}, {167u, 50u, "sub.checked.i64"}, {167u, 38u, "call.enter"}, {167u, 60u, "mul.checked.i64"}, {167u, 66u, "div.checked.i64"}, {167u, 35u, "add.checked.i64"}, {167u, 76u, "index.checked.i64"}, {167u, 84u, "index.checked.i64"}, {167u, 80u, "sub.checked.i64"}, {167u, 89u, "mul.checked.i64"}, {167u, 95u, "div.checked.i64"}, {167u, 70u, "add.checked.i64"}, {168u, 23u, "index.checked.i64"}, {168u, 39u, "index.checked.i64"}, {168u, 55u, "index.checked.i64"}, {168u, 65u, "index.checked.i64"}, {168u, 59u, "sub.checked.i64"}, {168u, 46u, "call.enter"}, {168u, 70u, "mul.checked.i64"}, {168u, 76u, "div.checked.i64"}, {168u, 43u, "add.checked.i64"}, {168u, 90u, "index.checked.i64"}, {168u, 102u, "index.checked.i64"}, {168u, 94u, "sub.checked.i64"}, {168u, 107u, "mul.checked.i64"}, {168u, 113u, "div.checked.i64"}, {168u, 80u, "add.checked.i64"}, {169u, 23u, "index.checked.i64"}, {169u, 39u, "index.checked.i64"}, {169u, 55u, "index.checked.i64"}, {169u, 65u, "index.checked.i64"}, {169u, 59u, "sub.checked.i64"}, {169u, 46u, "call.enter"}, {169u, 70u, "mul.checked.i64"}, {169u, 76u, "div.checked.i64"}, {169u, 43u, "add.checked.i64"}, {169u, 90u, "index.checked.i64"}, {169u, 102u, "index.checked.i64"}, {169u, 94u, "sub.checked.i64"}, {169u, 107u, "mul.checked.i64"}, {169u, 113u, "div.checked.i64"}, {169u, 80u, "add.checked.i64"}, {173u, 33u, "mul.checked.i64"}, {173u, 44u, "div.checked.i64"}, {174u, 33u, "mul.checked.i64"}, {174u, 42u, "div.checked.i64"}, {175u, 9u, "fuel.charge"}, {176u, 19u, "index.checked.i64"}, {176u, 31u, "index.checked.i64"}, {176u, 46u, "index.checked.i64"}, {176u, 55u, "index.checked.i64"}, {176u, 50u, "sub.checked.i64"}, {176u, 38u, "call.enter"}, {176u, 60u, "mul.checked.i64"}, {176u, 69u, "div.checked.i64"}, {176u, 35u, "add.checked.i64"}, {176u, 79u, "index.checked.i64"}, {176u, 87u, "index.checked.i64"}, {176u, 83u, "sub.checked.i64"}, {176u, 92u, "mul.checked.i64"}, {176u, 101u, "div.checked.i64"}, {176u, 73u, "add.checked.i64"}, {177u, 19u, "index.checked.i64"}, {177u, 31u, "index.checked.i64"}, {177u, 46u, "index.checked.i64"}, {177u, 55u, "index.checked.i64"}, {177u, 50u, "sub.checked.i64"}, {177u, 38u, "call.enter"}, {177u, 60u, "mul.checked.i64"}, {177u, 69u, "div.checked.i64"}, {177u, 35u, "add.checked.i64"}, {177u, 79u, "index.checked.i64"}, {177u, 87u, "index.checked.i64"}, {177u, 83u, "sub.checked.i64"}, {177u, 92u, "mul.checked.i64"}, {177u, 101u, "div.checked.i64"}, {177u, 73u, "add.checked.i64"}, {178u, 23u, "index.checked.i64"}, {178u, 39u, "index.checked.i64"}, {178u, 55u, "index.checked.i64"}, {178u, 65u, "index.checked.i64"}, {178u, 59u, "sub.checked.i64"}, {178u, 46u, "call.enter"}, {178u, 70u, "mul.checked.i64"}, {178u, 79u, "div.checked.i64"}, {178u, 43u, "add.checked.i64"}, {178u, 93u, "index.checked.i64"}, {178u, 105u, "index.checked.i64"}, {178u, 97u, "sub.checked.i64"}, {178u, 110u, "mul.checked.i64"}, {178u, 119u, "div.checked.i64"}, {178u, 83u, "add.checked.i64"}, {179u, 23u, "index.checked.i64"}, {179u, 39u, "index.checked.i64"}, {179u, 55u, "index.checked.i64"}, {179u, 65u, "index.checked.i64"}, {179u, 59u, "sub.checked.i64"}, {179u, 46u, "call.enter"}, {179u, 70u, "mul.checked.i64"}, {179u, 79u, "div.checked.i64"}, {179u, 43u, "add.checked.i64"}, {179u, 93u, "index.checked.i64"}, {179u, 105u, "index.checked.i64"}, {179u, 97u, "sub.checked.i64"}, {179u, 110u, "mul.checked.i64"}, {179u, 119u, "div.checked.i64"}, {179u, 83u, "add.checked.i64"}, {183u, 5u, "fuel.charge"}, {184u, 11u, "index.checked.i64"}, {184u, 19u, "index.checked.i64"}, {184u, 32u, "index.checked.i64"}, {184u, 36u, "mul.checked.i64"}, {184u, 42u, "div.checked.i64"}, {184u, 23u, "add.checked.i64"}, {185u, 11u, "index.checked.i64"}, {185u, 19u, "index.checked.i64"}, {185u, 32u, "index.checked.i64"}, {185u, 36u, "mul.checked.i64"}, {185u, 42u, "div.checked.i64"}, {185u, 23u, "add.checked.i64"}, {186u, 15u, "index.checked.i64"}, {186u, 27u, "index.checked.i64"}, {186u, 44u, "index.checked.i64"}, {186u, 48u, "mul.checked.i64"}, {186u, 54u, "div.checked.i64"}, {186u, 31u, "add.checked.i64"}, {187u, 15u, "index.checked.i64"}, {187u, 27u, "index.checked.i64"}, {187u, 44u, "index.checked.i64"}, {187u, 48u, "mul.checked.i64"}, {187u, 54u, "div.checked.i64"}, {187u, 31u, "add.checked.i64"}, {188u, 11u, "index.checked.i64"}, {188u, 26u, "index.checked.i64"}, {188u, 17u, "call.enter"}, {189u, 11u, "index.checked.i64"}, {189u, 26u, "index.checked.i64"}, {189u, 17u, "call.enter"}, {190u, 15u, "index.checked.i64"}, {190u, 34u, "index.checked.i64"}, {190u, 21u, "call.enter"}, {191u, 15u, "index.checked.i64"}, {191u, 34u, "index.checked.i64"}, {191u, 21u, "call.enter"}, {193u, 12u, "index.checked.i64"}, {193u, 21u, "index.checked.i64"}, {193u, 30u, "index.checked.i64"}, {193u, 34u, "mul.checked.i64"}, {193u, 40u, "div.checked.i64"}, {193u, 25u, "add.checked.i64"}, {194u, 12u, "index.checked.i64"}, {194u, 21u, "index.checked.i64"}, {194u, 30u, "index.checked.i64"}, {194u, 34u, "mul.checked.i64"}, {194u, 40u, "div.checked.i64"}, {194u, 25u, "add.checked.i64"}, {195u, 13u, "index.checked.i64"}, {195u, 23u, "index.checked.i64"}, {195u, 36u, "index.checked.i64"}, {195u, 40u, "mul.checked.i64"}, {195u, 46u, "div.checked.i64"}, {195u, 27u, "add.checked.i64"}, {196u, 13u, "index.checked.i64"}, {196u, 23u, "index.checked.i64"}, {196u, 36u, "index.checked.i64"}, {196u, 40u, "mul.checked.i64"}, {196u, 46u, "div.checked.i64"}, {196u, 27u, "add.checked.i64"}, {199u, 20u, "index.checked.i64"}, {199u, 31u, "index.checked.i64"}, {199u, 40u, "index.checked.i64"}, {199u, 9u, "call.enter"}, {200u, 21u, "mul.checked.i64"}, {200u, 27u, "div.checked.i64"}, {201u, 21u, "mul.checked.i64"}, {201u, 27u, "div.checked.i64"}, {202u, 21u, "mul.checked.i64"}, {202u, 27u, "div.checked.i64"}, {203u, 20u, "index.checked.i64"}, {203u, 31u, "index.checked.i64"}, {203u, 40u, "index.checked.i64"}, {203u, 9u, "call.enter"}, {204u, 26u, "mul.checked.i64"}, {204u, 32u, "div.checked.i64"}, {204u, 21u, "add.checked.i64"}, {205u, 26u, "mul.checked.i64"}, {205u, 32u, "div.checked.i64"}, {205u, 21u, "add.checked.i64"}, {206u, 26u, "mul.checked.i64"}, {206u, 32u, "div.checked.i64"}, {206u, 21u, "add.checked.i64"}, {208u, 16u, "index.checked.i64"}, {209u, 16u, "index.checked.i64"}, {210u, 16u, "index.checked.i64"}, {212u, 15u, "index.checked.u64"}, {212u, 28u, "index.checked.u64"}, {212u, 60u, "index.checked.i64"}, {212u, 81u, "index.checked.i64"}, {212u, 94u, "shl.wrap.u64"}, {212u, 109u, "index.checked.i64"}, {212u, 122u, "shl.wrap.u64"}, {212u, 138u, "index.checked.i64"}, {212u, 151u, "shl.wrap.u64"}, {212u, 175u, "shl.wrap.u64"}, {212u, 199u, "shl.wrap.u64"}, {212u, 223u, "shl.wrap.u64"}, {219u, 5u, "call.enter"}, {221u, 5u, "fuel.charge"}, {222u, 9u, "call.enter"}, {224u, 5u, "fuel.charge"}, {225u, 20u, "index.checked.u64"}, {225u, 32u, "index.checked.u64"}, {228u, 21u, "index.checked.i64"}, {228u, 34u, "index.checked.i64"}, {228u, 25u, "sub.checked.i64"}, {229u, 21u, "index.checked.i64"}, {229u, 34u, "index.checked.i64"}, {229u, 25u, "sub.checked.i64"}, {230u, 21u, "index.checked.i64"}, {230u, 34u, "index.checked.i64"}, {230u, 25u, "sub.checked.i64"}, {231u, 21u, "mul.checked.i64"}, {231u, 31u, "mul.checked.i64"}, {231u, 26u, "add.checked.i64"}, {231u, 41u, "mul.checked.i64"}, {231u, 36u, "add.checked.i64"}, {231u, 12u, "isqrt.checked.i64"}, {236u, 12u, "fuel.charge"}, {237u, 18u, "rem.checked.i64"}, {238u, 18u, "div.checked.i64"}, {239u, 22u, "index.checked.i64"}, {240u, 22u, "index.checked.i64"}, {241u, 23u, "index.checked.i64"}, {242u, 23u, "index.checked.i64"}, {243u, 21u, "index.checked.i64"}, {244u, 21u, "index.checked.i64"}, {245u, 25u, "index.checked.i64"}, {246u, 25u, "index.checked.i64"}, {250u, 12u, "fuel.charge"}, {251u, 18u, "rem.checked.i64"}, {252u, 18u, "div.checked.i64"}, {253u, 29u, "index.checked.i64"}, {254u, 29u, "index.checked.i64"}, {255u, 30u, "index.checked.i64"}, {256u, 30u, "index.checked.i64"}, {257u, 28u, "index.checked.i64"}, {258u, 28u, "index.checked.i64"}, {259u, 32u, "index.checked.i64"}, {260u, 18u, "index.checked.i64"}, {263u, 12u, "fuel.charge"}, {264u, 11u, "index.checked.u64"}, {268u, 12u, "fuel.charge"}, {269u, 18u, "index.checked.u64"}, {272u, 12u, "fuel.charge"}, {277u, 12u, "fuel.charge"}, {278u, 5u, "fuel.charge"}, {279u, 9u, "call.enter"}, {286u, 12u, "fuel.charge"}, {287u, 5u, "fuel.charge"}, {288u, 22u, "index.checked.i64"}, {288u, 14u, "call.enter"}, {288u, 36u, "index.checked.i64"}, {288u, 28u, "call.enter"}, {288u, 46u, "index.checked.i64"}, {288u, 9u, "call.enter"}, {289u, 21u, "mul.checked.i64"}, {289u, 27u, "div.checked.i64"}, {290u, 21u, "mul.checked.i64"}, {290u, 27u, "div.checked.i64"}, {291u, 21u, "mul.checked.i64"}, {291u, 27u, "div.checked.i64"}, {292u, 22u, "index.checked.i64"}, {292u, 14u, "call.enter"}, {292u, 36u, "index.checked.i64"}, {292u, 28u, "call.enter"}, {292u, 46u, "index.checked.i64"}, {292u, 9u, "call.enter"}, {293u, 18u, "mul.checked.i64"}, {293u, 15u, "index.checked.i64"}, {294u, 18u, "mul.checked.i64"}, {294u, 22u, "add.checked.i64"}, {294u, 15u, "index.checked.i64"}, {295u, 18u, "mul.checked.i64"}, {295u, 22u, "add.checked.i64"}, {295u, 15u, "index.checked.i64"}, {296u, 18u, "mul.checked.i64"}, {296u, 22u, "add.checked.i64"}, {296u, 15u, "index.checked.i64"}, {296u, 37u, "mul.checked.i64"}, {296u, 43u, "div.checked.i64"}, {296u, 32u, "add.checked.i64"}, {297u, 18u, "mul.checked.i64"}, {297u, 22u, "add.checked.i64"}, {297u, 15u, "index.checked.i64"}, {297u, 37u, "mul.checked.i64"}, {297u, 43u, "div.checked.i64"}, {297u, 32u, "add.checked.i64"}, {298u, 18u, "mul.checked.i64"}, {298u, 22u, "add.checked.i64"}, {298u, 15u, "index.checked.i64"}, {298u, 37u, "mul.checked.i64"}, {298u, 43u, "div.checked.i64"}, {298u, 32u, "add.checked.i64"}, {300u, 12u, "call.enter"}, {303u, 12u, "fuel.charge"}, {304u, 18u, "index.checked.i64"}, {308u, 12u, "fuel.charge"}, {309u, 23u, "mul.checked.i64"}, {309u, 27u, "add.checked.i64"}, {309u, 20u, "index.checked.i64"}, {309u, 40u, "index.checked.i64"}, {309u, 32u, "sub.checked.i64"}, {310u, 23u, "mul.checked.i64"}, {310u, 27u, "add.checked.i64"}, {310u, 20u, "index.checked.i64"}, {310u, 40u, "index.checked.i64"}, {310u, 32u, "sub.checked.i64"}, {311u, 23u, "mul.checked.i64"}, {311u, 27u, "add.checked.i64"}, {311u, 20u, "index.checked.i64"}, {311u, 40u, "index.checked.i64"}, {311u, 32u, "sub.checked.i64"}, {312u, 21u, "mul.checked.i64"}, {312u, 31u, "mul.checked.i64"}, {312u, 26u, "add.checked.i64"}, {312u, 41u, "mul.checked.i64"}, {312u, 36u, "add.checked.i64"}, {312u, 12u, "isqrt.checked.i64"}, {315u, 6u, "fuel.charge"}, {317u, 16u, "call.enter"}, {318u, 5u, "print"}, {319u, 33u, "index.checked.u64"}, {319u, 5u, "print"}, {320u, 33u, "index.checked.u64"}, {320u, 5u, "print"}, {321u, 33u, "index.checked.u64"}, {321u, 5u, "print"}, {322u, 5u, "print"}, {356u, 12u, "isqrt.checked.i64"}, {360u, 14u, "mul.checked.i64"}, {325u, 1u, "fuel.charge"}, {327u, 9u, "call.enter"}, {328u, 19u, "index.checked.u64"}, {328u, 12u, "assert.checked.bool"}, {329u, 19u, "index.checked.u64"}, {329u, 12u, "assert.checked.bool"}, {330u, 19u, "index.checked.u64"}, {330u, 12u, "assert.checked.bool"}, {333u, 1u, "fuel.charge"}, {335u, 21u, "call.enter"}, {338u, 22u, "call.enter"}, {341u, 12u, "assert.checked.bool"}, {344u, 1u, "fuel.charge"}, {346u, 21u, "call.enter"}, {349u, 24u, "call.enter"}, {352u, 12u, "assert.checked.bool"}, {363u, 1u, "fuel.charge"}, {365u, 9u, "call.enter"}, {368u, 1u, "fuel.charge"}, {370u, 9u, "call.enter"}, }; CINT_RT_INTERNAL const cint_module cg_8_pendulum_module = {"pendulum.ci", 11u, 562u, cg_8_pendulum_sites}; CINT_RT_INTERNAL extern const cint_program cg_program; CINT_RT_EXPORT const cint_module_info cm_8_pendulum = {CINT_ABI_VERSION, 0u, &cg_program, NULL}; typedef struct cg_8_pendulum_state { int64_t g_th1[3]; int64_t g_th2[3]; int64_t g_phi1[3]; int64_t g_phi2[3]; int64_t g_w1[3]; int64_t g_w2[3]; int64_t g_w_phi1[3]; int64_t g_w_phi2[3]; uint64_t g_digest[3]; int64_t g_tether; int64_t g_step_x2[3]; int64_t g_step_y2[3]; int64_t g_step_z2[3]; int64_t g_ux; int64_t g_uy; int64_t g_uz; int64_t g_places[18]; } cg_8_pendulum_state; static const cg_8_pendulum_state cg_8_pendulum_state_init = {{0}, {0}, {0}, {0}, {0}, {0}, {0}, {0}, {0}, INT64_C(0), {0}, {0}, {0}, INT64_C(0), INT64_C(0), INT64_C(0), {0}}; static const int64_t cg_8_pendulum_state_ext[] = {INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(3), INT64_C(18)}; static const cint_state_var cg_8_pendulum_state_vars[17] = { {"th1", 3u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_th1), 1u, &cg_8_pendulum_state_ext[0], NULL}, {"th2", 3u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_th2), 1u, &cg_8_pendulum_state_ext[1], NULL}, {"phi1", 4u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_phi1), 1u, &cg_8_pendulum_state_ext[2], NULL}, {"phi2", 4u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_phi2), 1u, &cg_8_pendulum_state_ext[3], NULL}, {"w1", 2u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_w1), 1u, &cg_8_pendulum_state_ext[4], NULL}, {"w2", 2u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_w2), 1u, &cg_8_pendulum_state_ext[5], NULL}, {"w_phi1", 6u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_w_phi1), 1u, &cg_8_pendulum_state_ext[6], NULL}, {"w_phi2", 6u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_w_phi2), 1u, &cg_8_pendulum_state_ext[7], NULL}, {"digest", 6u, 0x24u, (uint32_t)offsetof(cg_8_pendulum_state, g_digest), 1u, &cg_8_pendulum_state_ext[8], NULL}, {"tether", 6u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_tether), 0u, NULL, NULL}, {"step_x2", 7u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_step_x2), 1u, &cg_8_pendulum_state_ext[9], NULL}, {"step_y2", 7u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_step_y2), 1u, &cg_8_pendulum_state_ext[10], NULL}, {"step_z2", 7u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_step_z2), 1u, &cg_8_pendulum_state_ext[11], NULL}, {"ux", 2u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_ux), 0u, NULL, NULL}, {"uy", 2u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_uy), 0u, NULL, NULL}, {"uz", 2u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_uz), 0u, NULL, NULL}, {"places", 6u, 0x14u, (uint32_t)offsetof(cg_8_pendulum_state, g_places), 1u, &cg_8_pendulum_state_ext[12], NULL}, }; CINT_RT_INTERNAL const cint_state cg_8_pendulum_state_desc = {0u, 17u, (uint32_t)sizeof(cg_8_pendulum_state), 0u, &cg_8_pendulum_state_init, cg_8_pendulum_state_vars}; static bool ci_8_pendulum_6_govern(cint_ctx *ctx, int64_t v_w, int64_t *result); static bool ci_8_pendulum_4_isin(cint_ctx *ctx, int64_t v_x, int64_t *result); static bool ci_8_pendulum_4_icos(cint_ctx *ctx, int64_t v_x, int64_t *result); static bool ci_8_pendulum_4_unit(cint_ctx *ctx, int64_t v_s, int64_t v_c, int64_t v_phi); static bool ci_8_pendulum_5_start(cint_ctx *ctx); static bool ci_8_pendulum_4_step(cint_ctx *ctx); static bool ci_8_pendulum_14_run_x5Ftriplet(cint_ctx *ctx, int64_t v_steps, int64_t v_coupling_k, uint64_t *v_out_digests, int64_t o_out_digests, int64_t n_out_digests, int64_t s_out_digests, int64_t *result); static bool ci_8_pendulum_4_load(cint_ctx *ctx, int64_t v_slot, int64_t v_value, int64_t *result); static bool ci_8_pendulum_4_read(cint_ctx *ctx, int64_t v_slot, int64_t *result); static bool ci_8_pendulum_4_seed(cint_ctx *ctx, int64_t v_p, uint64_t v_value, uint64_t *result); static bool ci_8_pendulum_12_digest_x5Fof(cint_ctx *ctx, int64_t v_p, uint64_t *result); static bool ci_8_pendulum_4_pull(cint_ctx *ctx, int64_t v_k, int64_t *result); static bool ci_8_pendulum_7_advance(cint_ctx *ctx, int64_t v_ticks, int64_t *result); static bool ci_8_pendulum_6_locate(cint_ctx *ctx, int64_t *result); static bool ci_8_pendulum_5_place(cint_ctx *ctx, int64_t v_slot, int64_t *result); static bool ci_8_pendulum_6_spread(cint_ctx *ctx, int64_t v_p, int64_t *result); static bool ci_8_pendulum_4_main(cint_ctx *ctx); static bool ci_8_pendulum_13_safe_x5Fisqrt(cint_ctx *ctx, int64_t v_val, int64_t *result); static bool ci_8_pendulum_28_checked_x5Fkinetic_x5Fenergy(cint_ctx *ctx, int64_t v_w, int64_t *result); static bool cg_8_pendulum_tb0(cint_ctx *ctx); static bool cg_8_pendulum_tb1(cint_ctx *ctx); static bool cg_8_pendulum_tb2(cint_ctx *ctx); static bool cg_8_pendulum_tb3(cint_ctx *ctx); static bool cg_8_pendulum_tb4(cint_ctx *ctx); static bool ci_8_pendulum_6_govern(cint_ctx *ctx, int64_t v_w, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t l0_v = 0; (void)ctx; (void)v_w; (void)l0_v; (void)result; static const cint_site cs1 = {0u, 1u}; (void)cs1; static const cint_site cs2 = {0u, 2u}; (void)cs2; static const cint_site cs3 = {0u, 3u}; (void)cs3; static const cint_site cs4 = {0u, 4u}; (void)cs4; static const cint_site cs5 = {0u, 5u}; (void)cs5; static const cint_site cs6 = {0u, 6u}; (void)cs6; l0_v = v_w; t0 = l0_v; if (!cint_builtin_i64(ctx, cs1, 1u, CINT_TAG_I64, 0u, 0u, (uint64_t)t0, 0u, 0u, &t1)) goto fault; t2 = INT64_C(10000000); t3 = t1 > t2; if (!t3) goto L8_f; t4 = l0_v; t5 = l0_v; t6 = INT64_C(5); if (!cint_mul_i64(ctx, cs2, t5, t6, &t7)) goto fault; t8 = INT64_C(1000); if (!cint_div_i64(ctx, cs3, t7, t8, &t9)) goto fault; if (!cint_sub_i64(ctx, cs4, t4, t9, &t10)) goto fault; l0_v = t10; goto L2_e; L8_f:; L2_e:; t11 = l0_v; t12 = INT64_C(12000000); if (!cint_neg_i64(ctx, cs5, t12, &t13)) goto fault; t14 = INT64_C(12000000); if (!cint_builtin_i64(ctx, cs6, 5u, CINT_TAG_I64, 0u, 0u, (uint64_t)t11, (uint64_t)t13, (uint64_t)t14, &t15)) goto fault; *result = t15; return true; fault: return false; } static bool ci_8_pendulum_4_isin(cint_ctx *ctx, int64_t v_x, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; bool t4 = false; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; bool t11 = false; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; bool t17 = false; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; bool t24 = false; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; int64_t t44 = 0; int64_t t45 = 0; int64_t t46 = 0; int64_t t47 = 0; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; int64_t t51 = 0; int64_t t52 = 0; int64_t t53 = 0; int64_t t54 = 0; int64_t t55 = 0; int64_t t56 = 0; int64_t t57 = 0; int64_t t58 = 0; int64_t t59 = 0; int64_t t60 = 0; int64_t t61 = 0; int64_t t62 = 0; int64_t t63 = 0; int64_t t64 = 0; int64_t t65 = 0; int64_t t66 = 0; int64_t t67 = 0; int64_t t68 = 0; int64_t t69 = 0; int64_t t70 = 0; int64_t t71 = 0; int64_t t72 = 0; int64_t t73 = 0; int64_t t74 = 0; int64_t t75 = 0; int64_t t76 = 0; int64_t t77 = 0; int64_t l0_v = 0; int64_t l1_x2 = 0; int64_t l2_x3 = 0; int64_t l3_x5 = 0; int64_t l4_x7 = 0; (void)ctx; (void)v_x; (void)l0_v; (void)l1_x2; (void)l2_x3; (void)l3_x5; (void)l4_x7; (void)result; static const cint_site cs7 = {0u, 7u}; (void)cs7; static const cint_site cs8 = {0u, 8u}; (void)cs8; static const cint_site cs9 = {0u, 9u}; (void)cs9; static const cint_site cs10 = {0u, 10u}; (void)cs10; static const cint_site cs11 = {0u, 11u}; (void)cs11; static const cint_site cs12 = {0u, 12u}; (void)cs12; static const cint_site cs13 = {0u, 13u}; (void)cs13; static const cint_site cs14 = {0u, 14u}; (void)cs14; static const cint_site cs15 = {0u, 15u}; (void)cs15; static const cint_site cs16 = {0u, 16u}; (void)cs16; static const cint_site cs17 = {0u, 17u}; (void)cs17; static const cint_site cs18 = {0u, 18u}; (void)cs18; static const cint_site cs19 = {0u, 19u}; (void)cs19; static const cint_site cs20 = {0u, 20u}; (void)cs20; static const cint_site cs21 = {0u, 21u}; (void)cs21; static const cint_site cs22 = {0u, 22u}; (void)cs22; static const cint_site cs23 = {0u, 23u}; (void)cs23; static const cint_site cs24 = {0u, 24u}; (void)cs24; static const cint_site cs25 = {0u, 25u}; (void)cs25; static const cint_site cs26 = {0u, 26u}; (void)cs26; static const cint_site cs27 = {0u, 27u}; (void)cs27; static const cint_site cs28 = {0u, 28u}; (void)cs28; static const cint_site cs29 = {0u, 29u}; (void)cs29; static const cint_site cs30 = {0u, 30u}; (void)cs30; static const cint_site cs31 = {0u, 31u}; (void)cs31; static const cint_site cs32 = {0u, 32u}; (void)cs32; static const cint_site cs33 = {0u, 33u}; (void)cs33; static const cint_site cs34 = {0u, 34u}; (void)cs34; static const cint_site cs35 = {0u, 35u}; (void)cs35; static const cint_site cs36 = {0u, 36u}; (void)cs36; t0 = INT64_C(6283185); if (!cint_rem_i64(ctx, cs7, v_x, t0, &t1)) goto fault; l0_v = t1; t2 = l0_v; t3 = INT64_C(3141593); t4 = t2 > t3; if (!t4) goto L9_f; t5 = l0_v; t6 = INT64_C(6283185); if (!cint_sub_i64(ctx, cs8, t5, t6, &t7)) goto fault; l0_v = t7; goto L4_e; L9_f:; L4_e:; t8 = l0_v; t9 = INT64_C(3141593); if (!cint_neg_i64(ctx, cs9, t9, &t10)) goto fault; t11 = t8 < t10; if (!t11) goto L22_f; t12 = l0_v; t13 = INT64_C(6283185); if (!cint_add_i64(ctx, cs10, t12, t13, &t14)) goto fault; l0_v = t14; goto L16_e; L22_f:; L16_e:; t15 = l0_v; t16 = INT64_C(1570796); t17 = t15 > t16; if (!t17) goto L34_f; t18 = INT64_C(3141593); t19 = l0_v; if (!cint_sub_i64(ctx, cs11, t18, t19, &t20)) goto fault; l0_v = t20; goto L29_e; L34_f:; L29_e:; t21 = l0_v; t22 = INT64_C(1570796); if (!cint_neg_i64(ctx, cs12, t22, &t23)) goto fault; t24 = t21 < t23; if (!t24) goto L47_f; t25 = INT64_C(3141593); if (!cint_neg_i64(ctx, cs13, t25, &t26)) goto fault; t27 = l0_v; if (!cint_sub_i64(ctx, cs14, t26, t27, &t28)) goto fault; l0_v = t28; goto L41_e; L47_f:; L41_e:; t29 = l0_v; t30 = l0_v; if (!cint_mul_i64(ctx, cs15, t29, t30, &t31)) goto fault; t32 = INT64_C(1000000); t33 = INT64_C(2); if (!cint_div_i64(ctx, cs16, t32, t33, &t34)) goto fault; if (!cint_add_i64(ctx, cs17, t31, t34, &t35)) goto fault; t36 = INT64_C(1000000); if (!cint_div_i64(ctx, cs18, t35, t36, &t37)) goto fault; l1_x2 = t37; t38 = l1_x2; t39 = l0_v; if (!cint_mul_i64(ctx, cs19, t38, t39, &t40)) goto fault; t41 = INT64_C(1000000); t42 = INT64_C(2); if (!cint_div_i64(ctx, cs20, t41, t42, &t43)) goto fault; if (!cint_add_i64(ctx, cs21, t40, t43, &t44)) goto fault; t45 = INT64_C(1000000); if (!cint_div_i64(ctx, cs22, t44, t45, &t46)) goto fault; l2_x3 = t46; t47 = l2_x3; t48 = l1_x2; if (!cint_mul_i64(ctx, cs23, t47, t48, &t49)) goto fault; t50 = INT64_C(1000000); t51 = INT64_C(2); if (!cint_div_i64(ctx, cs24, t50, t51, &t52)) goto fault; if (!cint_add_i64(ctx, cs25, t49, t52, &t53)) goto fault; t54 = INT64_C(1000000); if (!cint_div_i64(ctx, cs26, t53, t54, &t55)) goto fault; l3_x5 = t55; t56 = l3_x5; t57 = l1_x2; if (!cint_mul_i64(ctx, cs27, t56, t57, &t58)) goto fault; t59 = INT64_C(1000000); t60 = INT64_C(2); if (!cint_div_i64(ctx, cs28, t59, t60, &t61)) goto fault; if (!cint_add_i64(ctx, cs29, t58, t61, &t62)) goto fault; t63 = INT64_C(1000000); if (!cint_div_i64(ctx, cs30, t62, t63, &t64)) goto fault; l4_x7 = t64; t65 = l0_v; t66 = l2_x3; t67 = INT64_C(6); if (!cint_div_i64(ctx, cs31, t66, t67, &t68)) goto fault; if (!cint_sub_i64(ctx, cs32, t65, t68, &t69)) goto fault; t70 = l3_x5; t71 = INT64_C(120); if (!cint_div_i64(ctx, cs33, t70, t71, &t72)) goto fault; if (!cint_add_i64(ctx, cs34, t69, t72, &t73)) goto fault; t74 = l4_x7; t75 = INT64_C(5040); if (!cint_div_i64(ctx, cs35, t74, t75, &t76)) goto fault; if (!cint_sub_i64(ctx, cs36, t73, t76, &t77)) goto fault; *result = t77; return true; fault: return false; } static bool ci_8_pendulum_4_icos(cint_ctx *ctx, int64_t v_x, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; (void)ctx; (void)v_x; (void)result; static const cint_site cs37 = {0u, 37u}; (void)cs37; static const cint_site cs38 = {0u, 38u}; (void)cs38; t0 = INT64_C(1570796); if (!cint_add_i64(ctx, cs37, v_x, t0, &t1)) goto fault; if (!cint_rt_call_enter(ctx, cs38)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t1, &t2)) goto fault; cint_rt_call_leave(ctx); *result = t2; return true; fault: return false; } static bool ci_8_pendulum_4_unit(cint_ctx *ctx, int64_t v_s, int64_t v_c, int64_t v_phi) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; bool t32 = false; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; int64_t t44 = 0; int64_t t45 = 0; int64_t t46 = 0; int64_t t47 = 0; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; int64_t t51 = 0; int64_t t52 = 0; int64_t t53 = 0; int64_t t54 = 0; int64_t t55 = 0; int64_t t56 = 0; int64_t t57 = 0; int64_t t58 = 0; int64_t t59 = 0; int64_t t60 = 0; int64_t l0_cphi = 0; int64_t l1_sphi = 0; int64_t l2_x = 0; int64_t l3_y = 0; int64_t l4_z = 0; int64_t l5_mag = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_s; (void)v_c; (void)v_phi; (void)l0_cphi; (void)l1_sphi; (void)l2_x; (void)l3_y; (void)l4_z; (void)l5_mag; static const cint_site cs39 = {0u, 39u}; (void)cs39; static const cint_site cs40 = {0u, 40u}; (void)cs40; static const cint_site cs41 = {0u, 41u}; (void)cs41; static const cint_site cs42 = {0u, 42u}; (void)cs42; static const cint_site cs43 = {0u, 43u}; (void)cs43; static const cint_site cs44 = {0u, 44u}; (void)cs44; static const cint_site cs45 = {0u, 45u}; (void)cs45; static const cint_site cs46 = {0u, 46u}; (void)cs46; static const cint_site cs47 = {0u, 47u}; (void)cs47; static const cint_site cs48 = {0u, 48u}; (void)cs48; static const cint_site cs49 = {0u, 49u}; (void)cs49; static const cint_site cs50 = {0u, 50u}; (void)cs50; static const cint_site cs51 = {0u, 51u}; (void)cs51; static const cint_site cs52 = {0u, 52u}; (void)cs52; static const cint_site cs53 = {0u, 53u}; (void)cs53; static const cint_site cs54 = {0u, 54u}; (void)cs54; static const cint_site cs55 = {0u, 55u}; (void)cs55; static const cint_site cs56 = {0u, 56u}; (void)cs56; static const cint_site cs57 = {0u, 57u}; (void)cs57; static const cint_site cs58 = {0u, 58u}; (void)cs58; static const cint_site cs59 = {0u, 59u}; (void)cs59; static const cint_site cs60 = {0u, 60u}; (void)cs60; static const cint_site cs61 = {0u, 61u}; (void)cs61; static const cint_site cs62 = {0u, 62u}; (void)cs62; static const cint_site cs63 = {0u, 63u}; (void)cs63; static const cint_site cs64 = {0u, 64u}; (void)cs64; static const cint_site cs65 = {0u, 65u}; (void)cs65; static const cint_site cs66 = {0u, 66u}; (void)cs66; if (!cint_rt_call_enter(ctx, cs39)) goto fault; if (!ci_8_pendulum_4_icos(ctx, v_phi, &t0)) goto fault; cint_rt_call_leave(ctx); l0_cphi = t0; if (!cint_rt_call_enter(ctx, cs40)) goto fault; if (!ci_8_pendulum_4_isin(ctx, v_phi, &t1)) goto fault; cint_rt_call_leave(ctx); l1_sphi = t1; t2 = l0_cphi; if (!cint_mul_i64(ctx, cs41, v_s, t2, &t3)) goto fault; t4 = INT64_C(1000000); t5 = INT64_C(2); if (!cint_div_i64(ctx, cs42, t4, t5, &t6)) goto fault; if (!cint_add_i64(ctx, cs43, t3, t6, &t7)) goto fault; t8 = INT64_C(1000000); if (!cint_div_i64(ctx, cs44, t7, t8, &t9)) goto fault; l2_x = t9; t10 = l1_sphi; if (!cint_mul_i64(ctx, cs45, v_s, t10, &t11)) goto fault; t12 = INT64_C(1000000); t13 = INT64_C(2); if (!cint_div_i64(ctx, cs46, t12, t13, &t14)) goto fault; if (!cint_add_i64(ctx, cs47, t11, t14, &t15)) goto fault; t16 = INT64_C(1000000); if (!cint_div_i64(ctx, cs48, t15, t16, &t17)) goto fault; l3_y = t17; l4_z = v_c; t18 = l2_x; t19 = l2_x; if (!cint_mul_i64(ctx, cs49, t18, t19, &t20)) goto fault; t21 = l3_y; t22 = l3_y; if (!cint_mul_i64(ctx, cs50, t21, t22, &t23)) goto fault; if (!cint_add_i64(ctx, cs51, t20, t23, &t24)) goto fault; t25 = l4_z; t26 = l4_z; if (!cint_mul_i64(ctx, cs52, t25, t26, &t27)) goto fault; if (!cint_add_i64(ctx, cs53, t24, t27, &t28)) goto fault; if (!cint_builtin_i64(ctx, cs54, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)t28, 0u, 0u, &t29)) goto fault; l5_mag = t29; t30 = l5_mag; t31 = INT64_C(0); t32 = t30 == t31; if (!t32) goto L49_f; t33 = INT64_C(1); l5_mag = t33; goto L44_e; L49_f:; L44_e:; t34 = l2_x; t35 = INT64_C(1000000); if (!cint_mul_i64(ctx, cs55, t34, t35, &t36)) goto fault; t37 = l5_mag; t38 = INT64_C(2); if (!cint_div_i64(ctx, cs56, t37, t38, &t39)) goto fault; if (!cint_add_i64(ctx, cs57, t36, t39, &t40)) goto fault; t41 = l5_mag; if (!cint_div_i64(ctx, cs58, t40, t41, &t42)) goto fault; cg_st->g_ux = t42; t43 = l3_y; t44 = INT64_C(1000000); if (!cint_mul_i64(ctx, cs59, t43, t44, &t45)) goto fault; t46 = l5_mag; t47 = INT64_C(2); if (!cint_div_i64(ctx, cs60, t46, t47, &t48)) goto fault; if (!cint_add_i64(ctx, cs61, t45, t48, &t49)) goto fault; t50 = l5_mag; if (!cint_div_i64(ctx, cs62, t49, t50, &t51)) goto fault; cg_st->g_uy = t51; t52 = l4_z; t53 = INT64_C(1000000); if (!cint_mul_i64(ctx, cs63, t52, t53, &t54)) goto fault; t55 = l5_mag; t56 = INT64_C(2); if (!cint_div_i64(ctx, cs64, t55, t56, &t57)) goto fault; if (!cint_add_i64(ctx, cs65, t54, t57, &t58)) goto fault; t59 = l5_mag; if (!cint_div_i64(ctx, cs66, t58, t59, &t60)) goto fault; cg_st->g_uz = t60; return true; fault: return false; } static bool ci_8_pendulum_5_start(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; uint64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t l0_p = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_p; cint_rt_head *fh = cint_rt_head_of(ctx); int64_t fu = fh->fuel_used; int64_t fcap = fh->fuel_limit >= 0 ? fh->fuel_limit : INT64_MAX; static const cint_site cs67 = {0u, 67u}; (void)cs67; static const cint_site cs68 = {0u, 68u}; (void)cs68; static const cint_site cs69 = {0u, 69u}; (void)cs69; static const cint_site cs70 = {0u, 70u}; (void)cs70; static const cint_site cs71 = {0u, 71u}; (void)cs71; static const cint_site cs72 = {0u, 72u}; (void)cs72; static const cint_site cs73 = {0u, 73u}; (void)cs73; static const cint_site cs74 = {0u, 74u}; (void)cs74; static const cint_site cs75 = {0u, 75u}; (void)cs75; static const cint_site cs76 = {0u, 76u}; (void)cs76; t0 = INT64_C(0); t1 = INT64_C(3); l0_p = t0; L4_h:; t2 = l0_p; t3 = t2 < t1; if (!t3) goto L4_e; if (fh->faulted != 0u || fcap - fu < 1) { fh->fuel_used = fu; (void)cint_fuel_charge(ctx, cs67, 1u); goto fault; } fu += 1; t4 = l0_p; if (!(t4 >= 0 && t4 < INT64_C(3))) { (void)cint_index_check(ctx, cs68, "index.checked.i64", t4, INT64_C(3)); goto fault; } t5 = INT64_C(1570796); cg_st->g_th1[t4] = t5; t6 = l0_p; if (!(t6 >= 0 && t6 < INT64_C(3))) { (void)cint_index_check(ctx, cs69, "index.checked.i64", t6, INT64_C(3)); goto fault; } t7 = INT64_C(1570796); cg_st->g_th2[t6] = t7; t8 = l0_p; if (!(t8 >= 0 && t8 < INT64_C(3))) { (void)cint_index_check(ctx, cs70, "index.checked.i64", t8, INT64_C(3)); goto fault; } t9 = l0_p; cg_st->g_phi1[t8] = t9; t10 = l0_p; if (!(t10 >= 0 && t10 < INT64_C(3))) { (void)cint_index_check(ctx, cs71, "index.checked.i64", t10, INT64_C(3)); goto fault; } t11 = INT64_C(0); cg_st->g_phi2[t10] = t11; t12 = l0_p; if (!(t12 >= 0 && t12 < INT64_C(3))) { (void)cint_index_check(ctx, cs72, "index.checked.i64", t12, INT64_C(3)); goto fault; } t13 = INT64_C(0); cg_st->g_w1[t12] = t13; t14 = l0_p; if (!(t14 >= 0 && t14 < INT64_C(3))) { (void)cint_index_check(ctx, cs73, "index.checked.i64", t14, INT64_C(3)); goto fault; } t15 = INT64_C(0); cg_st->g_w2[t14] = t15; t16 = l0_p; if (!(t16 >= 0 && t16 < INT64_C(3))) { (void)cint_index_check(ctx, cs74, "index.checked.i64", t16, INT64_C(3)); goto fault; } t17 = INT64_C(0); cg_st->g_w_phi1[t16] = t17; t18 = l0_p; if (!(t18 >= 0 && t18 < INT64_C(3))) { (void)cint_index_check(ctx, cs75, "index.checked.i64", t18, INT64_C(3)); goto fault; } t19 = INT64_C(0); cg_st->g_w_phi2[t18] = t19; t20 = l0_p; if (!(t20 >= 0 && t20 < INT64_C(3))) { (void)cint_index_check(ctx, cs76, "index.checked.u64", t20, INT64_C(3)); goto fault; } t21 = UINT64_C(14695981039346656037); cg_st->g_digest[t20] = t21; t22 = l0_p; t23 = INT64_C(1); t24 = cint_add_wrap_i64(t22, t23); l0_p = t24; goto L4_h; L4_e:; fh->fuel_used = fu; return true; fault: fh->fuel_used = fu; return false; } static bool ci_8_pendulum_4_step(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; bool t44 = false; int64_t t45 = 0; int64_t t46 = 0; int64_t t47 = 0; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; int64_t t51 = 0; int64_t t52 = 0; int64_t t53 = 0; int64_t t54 = 0; int64_t t55 = 0; int64_t t56 = 0; int64_t t57 = 0; int64_t t58 = 0; int64_t t59 = 0; int64_t t60 = 0; int64_t t61 = 0; int64_t t62 = 0; int64_t t63 = 0; int64_t t64 = 0; int64_t t65 = 0; int64_t t66 = 0; int64_t t67 = 0; int64_t t68 = 0; int64_t t69 = 0; int64_t t70 = 0; int64_t t71 = 0; int64_t t72 = 0; int64_t t73 = 0; int64_t t74 = 0; int64_t t75 = 0; int64_t t76 = 0; int64_t t77 = 0; int64_t t78 = 0; int64_t t79 = 0; int64_t t80 = 0; int64_t t81 = 0; int64_t t82 = 0; int64_t t83 = 0; int64_t t84 = 0; int64_t t85 = 0; int64_t t86 = 0; int64_t t87 = 0; int64_t t88 = 0; int64_t t89 = 0; int64_t t90 = 0; int64_t t91 = 0; int64_t t92 = 0; int64_t t93 = 0; int64_t t94 = 0; int64_t t95 = 0; int64_t t96 = 0; int64_t t97 = 0; int64_t t98 = 0; int64_t t99 = 0; int64_t t100 = 0; int64_t t101 = 0; int64_t t102 = 0; int64_t t103 = 0; int64_t t104 = 0; int64_t t105 = 0; int64_t t106 = 0; int64_t t107 = 0; int64_t t108 = 0; int64_t t109 = 0; int64_t t110 = 0; int64_t t111 = 0; int64_t t112 = 0; int64_t t113 = 0; int64_t t114 = 0; int64_t t115 = 0; int64_t t116 = 0; int64_t t117 = 0; int64_t t118 = 0; int64_t t119 = 0; int64_t t120 = 0; int64_t t121 = 0; int64_t t122 = 0; int64_t t123 = 0; int64_t t124 = 0; int64_t t125 = 0; int64_t t126 = 0; int64_t t127 = 0; int64_t t128 = 0; int64_t t129 = 0; int64_t t130 = 0; int64_t t131 = 0; int64_t t132 = 0; int64_t t133 = 0; int64_t t134 = 0; int64_t t135 = 0; int64_t t136 = 0; int64_t t137 = 0; int64_t t138 = 0; int64_t t139 = 0; int64_t t140 = 0; int64_t t141 = 0; int64_t t142 = 0; int64_t t143 = 0; int64_t t144 = 0; int64_t t145 = 0; int64_t t146 = 0; int64_t t147 = 0; int64_t t148 = 0; int64_t t149 = 0; int64_t t150 = 0; int64_t t151 = 0; int64_t t152 = 0; int64_t t153 = 0; int64_t t154 = 0; int64_t t155 = 0; int64_t t156 = 0; int64_t t157 = 0; int64_t t158 = 0; int64_t t159 = 0; int64_t t160 = 0; int64_t t161 = 0; int64_t t162 = 0; int64_t t163 = 0; int64_t t164 = 0; int64_t t165 = 0; int64_t t166 = 0; int64_t t167 = 0; int64_t t168 = 0; int64_t t169 = 0; int64_t t170 = 0; int64_t t171 = 0; int64_t t172 = 0; int64_t t173 = 0; int64_t t174 = 0; int64_t t175 = 0; int64_t t176 = 0; int64_t t177 = 0; int64_t t178 = 0; int64_t t179 = 0; int64_t t180 = 0; int64_t t181 = 0; int64_t t182 = 0; int64_t t183 = 0; int64_t t184 = 0; int64_t t185 = 0; int64_t t186 = 0; int64_t t187 = 0; int64_t t188 = 0; int64_t t189 = 0; int64_t t190 = 0; int64_t t191 = 0; int64_t t192 = 0; int64_t t193 = 0; int64_t t194 = 0; int64_t t195 = 0; int64_t t196 = 0; int64_t t197 = 0; int64_t t198 = 0; int64_t t199 = 0; int64_t t200 = 0; bool t201 = false; int64_t t202 = 0; int64_t t203 = 0; int64_t t204 = 0; int64_t t205 = 0; int64_t t206 = 0; int64_t t207 = 0; int64_t t208 = 0; int64_t t209 = 0; int64_t t210 = 0; int64_t t211 = 0; int64_t t212 = 0; int64_t t213 = 0; int64_t t214 = 0; int64_t t215 = 0; int64_t t216 = 0; int64_t t217 = 0; bool t218 = false; int64_t t219 = 0; int64_t t220 = 0; int64_t t221 = 0; int64_t t222 = 0; int64_t t223 = 0; int64_t t224 = 0; int64_t t225 = 0; int64_t t226 = 0; int64_t t227 = 0; int64_t t228 = 0; int64_t t229 = 0; int64_t t230 = 0; int64_t t231 = 0; int64_t t232 = 0; int64_t t233 = 0; int64_t t234 = 0; int64_t t235 = 0; int64_t t236 = 0; int64_t t237 = 0; int64_t t238 = 0; int64_t t239 = 0; int64_t t240 = 0; int64_t t241 = 0; int64_t t242 = 0; int64_t t243 = 0; int64_t t244 = 0; int64_t t245 = 0; int64_t t246 = 0; int64_t t247 = 0; int64_t t248 = 0; int64_t t249 = 0; int64_t t250 = 0; int64_t t251 = 0; int64_t t252 = 0; int64_t t253 = 0; int64_t t254 = 0; int64_t t255 = 0; int64_t t256 = 0; int64_t t257 = 0; int64_t t258 = 0; int64_t t259 = 0; int64_t t260 = 0; int64_t t261 = 0; int64_t t262 = 0; int64_t t263 = 0; int64_t t264 = 0; int64_t t265 = 0; int64_t t266 = 0; int64_t t267 = 0; int64_t t268 = 0; int64_t t269 = 0; int64_t t270 = 0; int64_t t271 = 0; int64_t t272 = 0; int64_t t273 = 0; int64_t t274 = 0; int64_t t275 = 0; int64_t t276 = 0; int64_t t277 = 0; int64_t t278 = 0; int64_t t279 = 0; int64_t t280 = 0; int64_t t281 = 0; int64_t t282 = 0; int64_t t283 = 0; int64_t t284 = 0; int64_t t285 = 0; int64_t t286 = 0; int64_t t287 = 0; int64_t t288 = 0; int64_t t289 = 0; int64_t t290 = 0; int64_t t291 = 0; int64_t t292 = 0; int64_t t293 = 0; int64_t t294 = 0; int64_t t295 = 0; int64_t t296 = 0; int64_t t297 = 0; int64_t t298 = 0; int64_t t299 = 0; int64_t t300 = 0; int64_t t301 = 0; int64_t t302 = 0; int64_t t303 = 0; int64_t t304 = 0; int64_t t305 = 0; int64_t t306 = 0; int64_t t307 = 0; int64_t t308 = 0; int64_t t309 = 0; int64_t t310 = 0; int64_t t311 = 0; int64_t t312 = 0; int64_t t313 = 0; int64_t t314 = 0; int64_t t315 = 0; int64_t t316 = 0; int64_t t317 = 0; int64_t t318 = 0; int64_t t319 = 0; bool t320 = false; int64_t t321 = 0; int64_t t322 = 0; int64_t t323 = 0; int64_t t324 = 0; int64_t t325 = 0; int64_t t326 = 0; int64_t t327 = 0; int64_t t328 = 0; int64_t t329 = 0; int64_t t330 = 0; int64_t t331 = 0; int64_t t332 = 0; int64_t t333 = 0; bool t334 = false; int64_t t335 = 0; int64_t t336 = 0; int64_t t337 = 0; int64_t t338 = 0; int64_t t339 = 0; int64_t t340 = 0; int64_t t341 = 0; int64_t t342 = 0; int64_t t343 = 0; int64_t t344 = 0; int64_t t345 = 0; int64_t t346 = 0; int64_t t347 = 0; int64_t t348 = 0; int64_t t349 = 0; int64_t t350 = 0; int64_t t351 = 0; int64_t t352 = 0; int64_t t353 = 0; int64_t t354 = 0; int64_t t355 = 0; int64_t t356 = 0; int64_t t357 = 0; int64_t t358 = 0; int64_t t359 = 0; int64_t t360 = 0; int64_t t361 = 0; int64_t t362 = 0; int64_t t363 = 0; int64_t t364 = 0; int64_t t365 = 0; int64_t t366 = 0; int64_t t367 = 0; int64_t t368 = 0; int64_t t369 = 0; int64_t t370 = 0; int64_t t371 = 0; int64_t t372 = 0; int64_t t373 = 0; int64_t t374 = 0; int64_t t375 = 0; int64_t t376 = 0; int64_t t377 = 0; int64_t t378 = 0; int64_t t379 = 0; int64_t t380 = 0; int64_t t381 = 0; int64_t t382 = 0; int64_t t383 = 0; int64_t t384 = 0; int64_t t385 = 0; int64_t t386 = 0; int64_t t387 = 0; int64_t t388 = 0; int64_t t389 = 0; int64_t t390 = 0; int64_t t391 = 0; int64_t t392 = 0; int64_t t393 = 0; int64_t t394 = 0; int64_t t395 = 0; int64_t t396 = 0; int64_t t397 = 0; int64_t t398 = 0; int64_t t399 = 0; int64_t t400 = 0; int64_t t401 = 0; int64_t t402 = 0; int64_t t403 = 0; int64_t t404 = 0; int64_t t405 = 0; int64_t t406 = 0; int64_t t407 = 0; int64_t t408 = 0; int64_t t409 = 0; int64_t t410 = 0; int64_t t411 = 0; int64_t t412 = 0; int64_t t413 = 0; int64_t t414 = 0; int64_t t415 = 0; int64_t t416 = 0; int64_t t417 = 0; int64_t t418 = 0; int64_t t419 = 0; int64_t t420 = 0; int64_t t421 = 0; int64_t t422 = 0; int64_t t423 = 0; int64_t t424 = 0; int64_t t425 = 0; int64_t t426 = 0; int64_t t427 = 0; int64_t t428 = 0; int64_t t429 = 0; int64_t t430 = 0; int64_t t431 = 0; int64_t t432 = 0; int64_t t433 = 0; int64_t t434 = 0; int64_t t435 = 0; int64_t t436 = 0; bool t437 = false; int64_t t438 = 0; int64_t t439 = 0; int64_t t440 = 0; int64_t t441 = 0; int64_t t442 = 0; int64_t t443 = 0; int64_t t444 = 0; int64_t t445 = 0; int64_t t446 = 0; int64_t t447 = 0; int64_t t448 = 0; int64_t t449 = 0; int64_t t450 = 0; int64_t t451 = 0; int64_t t452 = 0; int64_t t453 = 0; int64_t t454 = 0; int64_t t455 = 0; int64_t t456 = 0; int64_t t457 = 0; int64_t t458 = 0; int64_t t459 = 0; int64_t t460 = 0; int64_t t461 = 0; int64_t t462 = 0; int64_t t463 = 0; int64_t t464 = 0; int64_t t465 = 0; int64_t t466 = 0; int64_t t467 = 0; int64_t t468 = 0; int64_t t469 = 0; int64_t t470 = 0; int64_t t471 = 0; int64_t t472 = 0; int64_t t473 = 0; int64_t t474 = 0; int64_t t475 = 0; int64_t t476 = 0; int64_t t477 = 0; int64_t t478 = 0; int64_t t479 = 0; int64_t t480 = 0; int64_t t481 = 0; int64_t t482 = 0; int64_t t483 = 0; int64_t t484 = 0; int64_t t485 = 0; int64_t t486 = 0; int64_t t487 = 0; int64_t t488 = 0; int64_t t489 = 0; int64_t t490 = 0; int64_t t491 = 0; int64_t t492 = 0; int64_t t493 = 0; int64_t t494 = 0; int64_t t495 = 0; int64_t t496 = 0; int64_t t497 = 0; int64_t t498 = 0; int64_t t499 = 0; int64_t t500 = 0; int64_t t501 = 0; int64_t t502 = 0; int64_t t503 = 0; int64_t t504 = 0; int64_t t505 = 0; int64_t t506 = 0; int64_t t507 = 0; int64_t t508 = 0; int64_t t509 = 0; int64_t t510 = 0; int64_t t511 = 0; int64_t t512 = 0; int64_t t513 = 0; int64_t t514 = 0; int64_t t515 = 0; int64_t t516 = 0; int64_t t517 = 0; int64_t t518 = 0; int64_t t519 = 0; int64_t t520 = 0; int64_t t521 = 0; int64_t t522 = 0; int64_t t523 = 0; int64_t t524 = 0; int64_t t525 = 0; int64_t t526 = 0; int64_t t527 = 0; int64_t t528 = 0; int64_t t529 = 0; int64_t t530 = 0; int64_t t531 = 0; int64_t t532 = 0; int64_t t533 = 0; int64_t t534 = 0; int64_t t535 = 0; int64_t t536 = 0; int64_t t537 = 0; int64_t t538 = 0; int64_t t539 = 0; int64_t t540 = 0; int64_t t541 = 0; int64_t t542 = 0; int64_t t543 = 0; int64_t t544 = 0; int64_t t545 = 0; int64_t t546 = 0; int64_t t547 = 0; int64_t t548 = 0; int64_t t549 = 0; int64_t t550 = 0; int64_t t551 = 0; int64_t t552 = 0; int64_t t553 = 0; int64_t t554 = 0; int64_t t555 = 0; int64_t t556 = 0; int64_t t557 = 0; int64_t t558 = 0; int64_t t559 = 0; int64_t t560 = 0; int64_t t561 = 0; int64_t t562 = 0; int64_t t563 = 0; int64_t t564 = 0; int64_t t565 = 0; int64_t t566 = 0; int64_t t567 = 0; int64_t t568 = 0; int64_t t569 = 0; int64_t t570 = 0; int64_t t571 = 0; int64_t t572 = 0; int64_t t573 = 0; int64_t t574 = 0; int64_t t575 = 0; int64_t t576 = 0; int64_t t577 = 0; int64_t t578 = 0; int64_t t579 = 0; int64_t t580 = 0; int64_t t581 = 0; int64_t t582 = 0; int64_t t583 = 0; int64_t t584 = 0; int64_t t585 = 0; int64_t t586 = 0; int64_t t587 = 0; int64_t t588 = 0; int64_t t589 = 0; uint64_t t590 = 0; uint64_t t591 = 0; uint64_t t592 = 0; int64_t t593 = 0; int64_t t594 = 0; uint64_t t595 = 0; uint64_t t596 = 0; int64_t t597 = 0; int64_t t598 = 0; uint64_t t599 = 0; int64_t t600 = 0; uint64_t t601 = 0; uint64_t t602 = 0; int64_t t603 = 0; int64_t t604 = 0; uint64_t t605 = 0; int64_t t606 = 0; uint64_t t607 = 0; uint64_t t608 = 0; int64_t t609 = 0; int64_t t610 = 0; uint64_t t611 = 0; int64_t t612 = 0; uint64_t t613 = 0; uint64_t t614 = 0; int64_t t615 = 0; uint64_t t616 = 0; int64_t t617 = 0; uint64_t t618 = 0; uint64_t t619 = 0; int64_t t620 = 0; uint64_t t621 = 0; int64_t t622 = 0; uint64_t t623 = 0; uint64_t t624 = 0; int64_t t625 = 0; uint64_t t626 = 0; int64_t t627 = 0; uint64_t t628 = 0; uint64_t t629 = 0; int64_t t630 = 0; int64_t t631 = 0; int64_t t632 = 0; int64_t l0_alpha1[3] = {0}; int64_t l1_alpha2[3] = {0}; int64_t l2_alpha_phi1[3] = {0}; int64_t l3_alpha_phi2[3] = {0}; int64_t l4_s1_arr[3] = {0}; int64_t l5_c1_arr[3] = {0}; int64_t l6_s2_arr[3] = {0}; int64_t l7_c2_arr[3] = {0}; int64_t l8_p = 0; int64_t l9_dth = 0; int64_t l10_s1 = 0; int64_t l11_c1 = 0; int64_t l12_s2 = 0; int64_t l13_c2 = 0; int64_t l14_sd = 0; int64_t l15_cd = 0; int64_t l16_c2d = 0; int64_t l17_den = 0; int64_t l18_w1_sq = 0; int64_t l19_w2_sq = 0; int64_t l20_num1 = 0; int64_t l21_g_c1 = 0; int64_t l22_num2 = 0; int64_t l23_cent1 = 0; int64_t l24_cent2 = 0; int64_t l25_dphi = 0; int64_t l26_sd_phi = 0; int64_t l27_tau = 0; int64_t l28_coupling_k = 0; int64_t l29_kp = 0; int64_t l30_kd = 0; int64_t l31_p = 0; int64_t l32_c_ang = 0; int64_t l33_c_vel = 0; int64_t l34_p = 0; int64_t l35_p = 0; int64_t l36_x1 = 0; int64_t l37_y1 = 0; int64_t l38_z1 = 0; int64_t l39_x2 = 0; int64_t l40_y2 = 0; int64_t l41_z2 = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_alpha1; (void)l1_alpha2; (void)l2_alpha_phi1; (void)l3_alpha_phi2; (void)l4_s1_arr; (void)l5_c1_arr; (void)l6_s2_arr; (void)l7_c2_arr; (void)l8_p; (void)l9_dth; (void)l10_s1; (void)l11_c1; (void)l12_s2; (void)l13_c2; (void)l14_sd; (void)l15_cd; (void)l16_c2d; (void)l17_den; (void)l18_w1_sq; (void)l19_w2_sq; (void)l20_num1; (void)l21_g_c1; (void)l22_num2; (void)l23_cent1; (void)l24_cent2; (void)l25_dphi; (void)l26_sd_phi; (void)l27_tau; (void)l28_coupling_k; (void)l29_kp; (void)l30_kd; (void)l31_p; (void)l32_c_ang; (void)l33_c_vel; (void)l34_p; (void)l35_p; (void)l36_x1; (void)l37_y1; (void)l38_z1; (void)l39_x2; (void)l40_y2; (void)l41_z2; static const cint_site cs77 = {0u, 77u}; (void)cs77; static const cint_site cs78 = {0u, 78u}; (void)cs78; static const cint_site cs79 = {0u, 79u}; (void)cs79; static const cint_site cs80 = {0u, 80u}; (void)cs80; static const cint_site cs81 = {0u, 81u}; (void)cs81; static const cint_site cs82 = {0u, 82u}; (void)cs82; static const cint_site cs83 = {0u, 83u}; (void)cs83; static const cint_site cs84 = {0u, 84u}; (void)cs84; static const cint_site cs85 = {0u, 85u}; (void)cs85; static const cint_site cs86 = {0u, 86u}; (void)cs86; static const cint_site cs87 = {0u, 87u}; (void)cs87; static const cint_site cs88 = {0u, 88u}; (void)cs88; static const cint_site cs89 = {0u, 89u}; (void)cs89; static const cint_site cs90 = {0u, 90u}; (void)cs90; static const cint_site cs91 = {0u, 91u}; (void)cs91; static const cint_site cs92 = {0u, 92u}; (void)cs92; static const cint_site cs93 = {0u, 93u}; (void)cs93; static const cint_site cs94 = {0u, 94u}; (void)cs94; static const cint_site cs95 = {0u, 95u}; (void)cs95; static const cint_site cs96 = {0u, 96u}; (void)cs96; static const cint_site cs97 = {0u, 97u}; (void)cs97; static const cint_site cs98 = {0u, 98u}; (void)cs98; static const cint_site cs99 = {0u, 99u}; (void)cs99; static const cint_site cs100 = {0u, 100u}; (void)cs100; static const cint_site cs101 = {0u, 101u}; (void)cs101; static const cint_site cs102 = {0u, 102u}; (void)cs102; static const cint_site cs103 = {0u, 103u}; (void)cs103; static const cint_site cs104 = {0u, 104u}; (void)cs104; static const cint_site cs105 = {0u, 105u}; (void)cs105; static const cint_site cs106 = {0u, 106u}; (void)cs106; static const cint_site cs107 = {0u, 107u}; (void)cs107; static const cint_site cs108 = {0u, 108u}; (void)cs108; static const cint_site cs109 = {0u, 109u}; (void)cs109; static const cint_site cs110 = {0u, 110u}; (void)cs110; static const cint_site cs111 = {0u, 111u}; (void)cs111; static const cint_site cs112 = {0u, 112u}; (void)cs112; static const cint_site cs113 = {0u, 113u}; (void)cs113; static const cint_site cs114 = {0u, 114u}; (void)cs114; static const cint_site cs115 = {0u, 115u}; (void)cs115; static const cint_site cs116 = {0u, 116u}; (void)cs116; static const cint_site cs117 = {0u, 117u}; (void)cs117; static const cint_site cs118 = {0u, 118u}; (void)cs118; static const cint_site cs119 = {0u, 119u}; (void)cs119; static const cint_site cs120 = {0u, 120u}; (void)cs120; static const cint_site cs121 = {0u, 121u}; (void)cs121; static const cint_site cs122 = {0u, 122u}; (void)cs122; static const cint_site cs123 = {0u, 123u}; (void)cs123; static const cint_site cs124 = {0u, 124u}; (void)cs124; static const cint_site cs125 = {0u, 125u}; (void)cs125; static const cint_site cs126 = {0u, 126u}; (void)cs126; static const cint_site cs127 = {0u, 127u}; (void)cs127; static const cint_site cs128 = {0u, 128u}; (void)cs128; static const cint_site cs129 = {0u, 129u}; (void)cs129; static const cint_site cs130 = {0u, 130u}; (void)cs130; static const cint_site cs131 = {0u, 131u}; (void)cs131; static const cint_site cs132 = {0u, 132u}; (void)cs132; static const cint_site cs133 = {0u, 133u}; (void)cs133; static const cint_site cs134 = {0u, 134u}; (void)cs134; static const cint_site cs135 = {0u, 135u}; (void)cs135; static const cint_site cs136 = {0u, 136u}; (void)cs136; static const cint_site cs137 = {0u, 137u}; (void)cs137; static const cint_site cs138 = {0u, 138u}; (void)cs138; static const cint_site cs139 = {0u, 139u}; (void)cs139; static const cint_site cs140 = {0u, 140u}; (void)cs140; static const cint_site cs141 = {0u, 141u}; (void)cs141; static const cint_site cs142 = {0u, 142u}; (void)cs142; static const cint_site cs143 = {0u, 143u}; (void)cs143; static const cint_site cs144 = {0u, 144u}; (void)cs144; static const cint_site cs145 = {0u, 145u}; (void)cs145; static const cint_site cs146 = {0u, 146u}; (void)cs146; static const cint_site cs147 = {0u, 147u}; (void)cs147; static const cint_site cs148 = {0u, 148u}; (void)cs148; static const cint_site cs149 = {0u, 149u}; (void)cs149; static const cint_site cs150 = {0u, 150u}; (void)cs150; static const cint_site cs151 = {0u, 151u}; (void)cs151; static const cint_site cs152 = {0u, 152u}; (void)cs152; static const cint_site cs153 = {0u, 153u}; (void)cs153; static const cint_site cs154 = {0u, 154u}; (void)cs154; static const cint_site cs155 = {0u, 155u}; (void)cs155; static const cint_site cs156 = {0u, 156u}; (void)cs156; static const cint_site cs157 = {0u, 157u}; (void)cs157; static const cint_site cs158 = {0u, 158u}; (void)cs158; static const cint_site cs159 = {0u, 159u}; (void)cs159; static const cint_site cs160 = {0u, 160u}; (void)cs160; static const cint_site cs161 = {0u, 161u}; (void)cs161; static const cint_site cs162 = {0u, 162u}; (void)cs162; static const cint_site cs163 = {0u, 163u}; (void)cs163; static const cint_site cs164 = {0u, 164u}; (void)cs164; static const cint_site cs165 = {0u, 165u}; (void)cs165; static const cint_site cs166 = {0u, 166u}; (void)cs166; static const cint_site cs167 = {0u, 167u}; (void)cs167; static const cint_site cs168 = {0u, 168u}; (void)cs168; static const cint_site cs169 = {0u, 169u}; (void)cs169; static const cint_site cs170 = {0u, 170u}; (void)cs170; static const cint_site cs171 = {0u, 171u}; (void)cs171; static const cint_site cs172 = {0u, 172u}; (void)cs172; static const cint_site cs173 = {0u, 173u}; (void)cs173; static const cint_site cs174 = {0u, 174u}; (void)cs174; static const cint_site cs175 = {0u, 175u}; (void)cs175; static const cint_site cs176 = {0u, 176u}; (void)cs176; static const cint_site cs177 = {0u, 177u}; (void)cs177; static const cint_site cs178 = {0u, 178u}; (void)cs178; static const cint_site cs179 = {0u, 179u}; (void)cs179; static const cint_site cs180 = {0u, 180u}; (void)cs180; static const cint_site cs181 = {0u, 181u}; (void)cs181; static const cint_site cs182 = {0u, 182u}; (void)cs182; static const cint_site cs183 = {0u, 183u}; (void)cs183; static const cint_site cs184 = {0u, 184u}; (void)cs184; static const cint_site cs185 = {0u, 185u}; (void)cs185; static const cint_site cs186 = {0u, 186u}; (void)cs186; static const cint_site cs187 = {0u, 187u}; (void)cs187; static const cint_site cs188 = {0u, 188u}; (void)cs188; static const cint_site cs189 = {0u, 189u}; (void)cs189; static const cint_site cs190 = {0u, 190u}; (void)cs190; static const cint_site cs191 = {0u, 191u}; (void)cs191; static const cint_site cs192 = {0u, 192u}; (void)cs192; static const cint_site cs193 = {0u, 193u}; (void)cs193; static const cint_site cs194 = {0u, 194u}; (void)cs194; static const cint_site cs195 = {0u, 195u}; (void)cs195; static const cint_site cs196 = {0u, 196u}; (void)cs196; static const cint_site cs197 = {0u, 197u}; (void)cs197; static const cint_site cs198 = {0u, 198u}; (void)cs198; static const cint_site cs199 = {0u, 199u}; (void)cs199; static const cint_site cs200 = {0u, 200u}; (void)cs200; static const cint_site cs201 = {0u, 201u}; (void)cs201; static const cint_site cs202 = {0u, 202u}; (void)cs202; static const cint_site cs203 = {0u, 203u}; (void)cs203; static const cint_site cs204 = {0u, 204u}; (void)cs204; static const cint_site cs205 = {0u, 205u}; (void)cs205; static const cint_site cs206 = {0u, 206u}; (void)cs206; static const cint_site cs207 = {0u, 207u}; (void)cs207; static const cint_site cs208 = {0u, 208u}; (void)cs208; static const cint_site cs209 = {0u, 209u}; (void)cs209; static const cint_site cs210 = {0u, 210u}; (void)cs210; static const cint_site cs211 = {0u, 211u}; (void)cs211; static const cint_site cs212 = {0u, 212u}; (void)cs212; static const cint_site cs213 = {0u, 213u}; (void)cs213; static const cint_site cs214 = {0u, 214u}; (void)cs214; static const cint_site cs215 = {0u, 215u}; (void)cs215; static const cint_site cs216 = {0u, 216u}; (void)cs216; static const cint_site cs217 = {0u, 217u}; (void)cs217; static const cint_site cs218 = {0u, 218u}; (void)cs218; static const cint_site cs219 = {0u, 219u}; (void)cs219; static const cint_site cs220 = {0u, 220u}; (void)cs220; static const cint_site cs221 = {0u, 221u}; (void)cs221; static const cint_site cs222 = {0u, 222u}; (void)cs222; static const cint_site cs223 = {0u, 223u}; (void)cs223; static const cint_site cs224 = {0u, 224u}; (void)cs224; static const cint_site cs225 = {0u, 225u}; (void)cs225; static const cint_site cs226 = {0u, 226u}; (void)cs226; static const cint_site cs227 = {0u, 227u}; (void)cs227; static const cint_site cs228 = {0u, 228u}; (void)cs228; static const cint_site cs229 = {0u, 229u}; (void)cs229; static const cint_site cs230 = {0u, 230u}; (void)cs230; static const cint_site cs231 = {0u, 231u}; (void)cs231; static const cint_site cs232 = {0u, 232u}; (void)cs232; static const cint_site cs233 = {0u, 233u}; (void)cs233; static const cint_site cs234 = {0u, 234u}; (void)cs234; static const cint_site cs235 = {0u, 235u}; (void)cs235; static const cint_site cs236 = {0u, 236u}; (void)cs236; static const cint_site cs237 = {0u, 237u}; (void)cs237; static const cint_site cs238 = {0u, 238u}; (void)cs238; static const cint_site cs239 = {0u, 239u}; (void)cs239; static const cint_site cs240 = {0u, 240u}; (void)cs240; static const cint_site cs241 = {0u, 241u}; (void)cs241; static const cint_site cs242 = {0u, 242u}; (void)cs242; static const cint_site cs243 = {0u, 243u}; (void)cs243; static const cint_site cs244 = {0u, 244u}; (void)cs244; static const cint_site cs245 = {0u, 245u}; (void)cs245; static const cint_site cs246 = {0u, 246u}; (void)cs246; static const cint_site cs247 = {0u, 247u}; (void)cs247; static const cint_site cs248 = {0u, 248u}; (void)cs248; static const cint_site cs249 = {0u, 249u}; (void)cs249; static const cint_site cs250 = {0u, 250u}; (void)cs250; static const cint_site cs251 = {0u, 251u}; (void)cs251; static const cint_site cs252 = {0u, 252u}; (void)cs252; static const cint_site cs253 = {0u, 253u}; (void)cs253; static const cint_site cs254 = {0u, 254u}; (void)cs254; static const cint_site cs255 = {0u, 255u}; (void)cs255; static const cint_site cs256 = {0u, 256u}; (void)cs256; static const cint_site cs257 = {0u, 257u}; (void)cs257; static const cint_site cs258 = {0u, 258u}; (void)cs258; static const cint_site cs259 = {0u, 259u}; (void)cs259; static const cint_site cs260 = {0u, 260u}; (void)cs260; static const cint_site cs261 = {0u, 261u}; (void)cs261; static const cint_site cs262 = {0u, 262u}; (void)cs262; static const cint_site cs263 = {0u, 263u}; (void)cs263; static const cint_site cs264 = {0u, 264u}; (void)cs264; static const cint_site cs265 = {0u, 265u}; (void)cs265; static const cint_site cs266 = {0u, 266u}; (void)cs266; static const cint_site cs267 = {0u, 267u}; (void)cs267; static const cint_site cs268 = {0u, 268u}; (void)cs268; static const cint_site cs269 = {0u, 269u}; (void)cs269; static const cint_site cs270 = {0u, 270u}; (void)cs270; static const cint_site cs271 = {0u, 271u}; (void)cs271; static const cint_site cs272 = {0u, 272u}; (void)cs272; static const cint_site cs273 = {0u, 273u}; (void)cs273; static const cint_site cs274 = {0u, 274u}; (void)cs274; static const cint_site cs275 = {0u, 275u}; (void)cs275; static const cint_site cs276 = {0u, 276u}; (void)cs276; static const cint_site cs277 = {0u, 277u}; (void)cs277; static const cint_site cs278 = {0u, 278u}; (void)cs278; static const cint_site cs279 = {0u, 279u}; (void)cs279; static const cint_site cs280 = {0u, 280u}; (void)cs280; static const cint_site cs281 = {0u, 281u}; (void)cs281; static const cint_site cs282 = {0u, 282u}; (void)cs282; static const cint_site cs283 = {0u, 283u}; (void)cs283; static const cint_site cs284 = {0u, 284u}; (void)cs284; static const cint_site cs285 = {0u, 285u}; (void)cs285; static const cint_site cs286 = {0u, 286u}; (void)cs286; static const cint_site cs287 = {0u, 287u}; (void)cs287; static const cint_site cs288 = {0u, 288u}; (void)cs288; static const cint_site cs289 = {0u, 289u}; (void)cs289; static const cint_site cs290 = {0u, 290u}; (void)cs290; static const cint_site cs291 = {0u, 291u}; (void)cs291; static const cint_site cs292 = {0u, 292u}; (void)cs292; static const cint_site cs293 = {0u, 293u}; (void)cs293; static const cint_site cs294 = {0u, 294u}; (void)cs294; static const cint_site cs295 = {0u, 295u}; (void)cs295; static const cint_site cs296 = {0u, 296u}; (void)cs296; static const cint_site cs297 = {0u, 297u}; (void)cs297; static const cint_site cs298 = {0u, 298u}; (void)cs298; static const cint_site cs299 = {0u, 299u}; (void)cs299; static const cint_site cs300 = {0u, 300u}; (void)cs300; static const cint_site cs301 = {0u, 301u}; (void)cs301; static const cint_site cs302 = {0u, 302u}; (void)cs302; static const cint_site cs303 = {0u, 303u}; (void)cs303; static const cint_site cs304 = {0u, 304u}; (void)cs304; static const cint_site cs305 = {0u, 305u}; (void)cs305; static const cint_site cs306 = {0u, 306u}; (void)cs306; static const cint_site cs307 = {0u, 307u}; (void)cs307; static const cint_site cs308 = {0u, 308u}; (void)cs308; static const cint_site cs309 = {0u, 309u}; (void)cs309; static const cint_site cs310 = {0u, 310u}; (void)cs310; static const cint_site cs311 = {0u, 311u}; (void)cs311; static const cint_site cs312 = {0u, 312u}; (void)cs312; static const cint_site cs313 = {0u, 313u}; (void)cs313; static const cint_site cs314 = {0u, 314u}; (void)cs314; static const cint_site cs315 = {0u, 315u}; (void)cs315; static const cint_site cs316 = {0u, 316u}; (void)cs316; static const cint_site cs317 = {0u, 317u}; (void)cs317; static const cint_site cs318 = {0u, 318u}; (void)cs318; static const cint_site cs319 = {0u, 319u}; (void)cs319; static const cint_site cs320 = {0u, 320u}; (void)cs320; static const cint_site cs321 = {0u, 321u}; (void)cs321; static const cint_site cs322 = {0u, 322u}; (void)cs322; static const cint_site cs323 = {0u, 323u}; (void)cs323; static const cint_site cs324 = {0u, 324u}; (void)cs324; static const cint_site cs325 = {0u, 325u}; (void)cs325; static const cint_site cs326 = {0u, 326u}; (void)cs326; static const cint_site cs327 = {0u, 327u}; (void)cs327; static const cint_site cs328 = {0u, 328u}; (void)cs328; static const cint_site cs329 = {0u, 329u}; (void)cs329; static const cint_site cs330 = {0u, 330u}; (void)cs330; static const cint_site cs331 = {0u, 331u}; (void)cs331; static const cint_site cs332 = {0u, 332u}; (void)cs332; static const cint_site cs333 = {0u, 333u}; (void)cs333; static const cint_site cs334 = {0u, 334u}; (void)cs334; static const cint_site cs335 = {0u, 335u}; (void)cs335; static const cint_site cs336 = {0u, 336u}; (void)cs336; static const cint_site cs337 = {0u, 337u}; (void)cs337; static const cint_site cs338 = {0u, 338u}; (void)cs338; static const cint_site cs339 = {0u, 339u}; (void)cs339; static const cint_site cs340 = {0u, 340u}; (void)cs340; static const cint_site cs341 = {0u, 341u}; (void)cs341; static const cint_site cs342 = {0u, 342u}; (void)cs342; static const cint_site cs343 = {0u, 343u}; (void)cs343; static const cint_site cs344 = {0u, 344u}; (void)cs344; static const cint_site cs345 = {0u, 345u}; (void)cs345; static const cint_site cs346 = {0u, 346u}; (void)cs346; static const cint_site cs347 = {0u, 347u}; (void)cs347; static const cint_site cs348 = {0u, 348u}; (void)cs348; static const cint_site cs349 = {0u, 349u}; (void)cs349; static const cint_site cs350 = {0u, 350u}; (void)cs350; static const cint_site cs351 = {0u, 351u}; (void)cs351; static const cint_site cs352 = {0u, 352u}; (void)cs352; static const cint_site cs353 = {0u, 353u}; (void)cs353; static const cint_site cs354 = {0u, 354u}; (void)cs354; static const cint_site cs355 = {0u, 355u}; (void)cs355; static const cint_site cs356 = {0u, 356u}; (void)cs356; static const cint_site cs357 = {0u, 357u}; (void)cs357; static const cint_site cs358 = {0u, 358u}; (void)cs358; static const cint_site cs359 = {0u, 359u}; (void)cs359; static const cint_site cs360 = {0u, 360u}; (void)cs360; static const cint_site cs361 = {0u, 361u}; (void)cs361; static const cint_site cs362 = {0u, 362u}; (void)cs362; static const cint_site cs363 = {0u, 363u}; (void)cs363; static const cint_site cs364 = {0u, 364u}; (void)cs364; static const cint_site cs365 = {0u, 365u}; (void)cs365; static const cint_site cs366 = {0u, 366u}; (void)cs366; static const cint_site cs367 = {0u, 367u}; (void)cs367; static const cint_site cs368 = {0u, 368u}; (void)cs368; static const cint_site cs369 = {0u, 369u}; (void)cs369; static const cint_site cs370 = {0u, 370u}; (void)cs370; static const cint_site cs371 = {0u, 371u}; (void)cs371; static const cint_site cs372 = {0u, 372u}; (void)cs372; static const cint_site cs373 = {0u, 373u}; (void)cs373; static const cint_site cs374 = {0u, 374u}; (void)cs374; static const cint_site cs375 = {0u, 375u}; (void)cs375; static const cint_site cs376 = {0u, 376u}; (void)cs376; static const cint_site cs377 = {0u, 377u}; (void)cs377; static const cint_site cs378 = {0u, 378u}; (void)cs378; static const cint_site cs379 = {0u, 379u}; (void)cs379; static const cint_site cs380 = {0u, 380u}; (void)cs380; static const cint_site cs381 = {0u, 381u}; (void)cs381; static const cint_site cs382 = {0u, 382u}; (void)cs382; static const cint_site cs383 = {0u, 383u}; (void)cs383; static const cint_site cs384 = {0u, 384u}; (void)cs384; static const cint_site cs385 = {0u, 385u}; (void)cs385; static const cint_site cs386 = {0u, 386u}; (void)cs386; static const cint_site cs387 = {0u, 387u}; (void)cs387; static const cint_site cs388 = {0u, 388u}; (void)cs388; static const cint_site cs389 = {0u, 389u}; (void)cs389; static const cint_site cs390 = {0u, 390u}; (void)cs390; static const cint_site cs391 = {0u, 391u}; (void)cs391; static const cint_site cs392 = {0u, 392u}; (void)cs392; static const cint_site cs393 = {0u, 393u}; (void)cs393; static const cint_site cs394 = {0u, 394u}; (void)cs394; static const cint_site cs395 = {0u, 395u}; (void)cs395; static const cint_site cs396 = {0u, 396u}; (void)cs396; static const cint_site cs397 = {0u, 397u}; (void)cs397; static const cint_site cs398 = {0u, 398u}; (void)cs398; static const cint_site cs399 = {0u, 399u}; (void)cs399; static const cint_site cs400 = {0u, 400u}; (void)cs400; static const cint_site cs401 = {0u, 401u}; (void)cs401; static const cint_site cs402 = {0u, 402u}; (void)cs402; static const cint_site cs403 = {0u, 403u}; (void)cs403; static const cint_site cs404 = {0u, 404u}; (void)cs404; static const cint_site cs405 = {0u, 405u}; (void)cs405; static const cint_site cs406 = {0u, 406u}; (void)cs406; static const cint_site cs407 = {0u, 407u}; (void)cs407; for (int64_t z = 0; z < INT64_C(3); z++) { l0_alpha1[z] = 0; } for (int64_t z = 0; z < INT64_C(3); z++) { l1_alpha2[z] = 0; } for (int64_t z = 0; z < INT64_C(3); z++) { l2_alpha_phi1[z] = 0; } for (int64_t z = 0; z < INT64_C(3); z++) { l3_alpha_phi2[z] = 0; } for (int64_t z = 0; z < INT64_C(3); z++) { l4_s1_arr[z] = 0; } for (int64_t z = 0; z < INT64_C(3); z++) { l5_c1_arr[z] = 0; } for (int64_t z = 0; z < INT64_C(3); z++) { l6_s2_arr[z] = 0; } for (int64_t z = 0; z < INT64_C(3); z++) { l7_c2_arr[z] = 0; } t0 = INT64_C(0); t1 = INT64_C(3); l8_p = t0; L21_h:; t2 = l8_p; t3 = t2 < t1; if (!t3) goto L21_e; if (!cint_fuel_charge(ctx, cs77, 1u)) goto fault; t4 = l8_p; if (!(t4 >= 0 && t4 < INT64_C(3))) { (void)cint_index_check(ctx, cs78, "index.checked.i64", t4, INT64_C(3)); goto fault; } t5 = cg_st->g_th1[t4]; t6 = l8_p; if (!(t6 >= 0 && t6 < INT64_C(3))) { (void)cint_index_check(ctx, cs79, "index.checked.i64", t6, INT64_C(3)); goto fault; } t7 = cg_st->g_th2[t6]; if (!cint_sub_i64(ctx, cs80, t5, t7, &t8)) goto fault; l9_dth = t8; t9 = l8_p; if (!(t9 >= 0 && t9 < INT64_C(3))) { (void)cint_index_check(ctx, cs81, "index.checked.i64", t9, INT64_C(3)); goto fault; } t10 = cg_st->g_th1[t9]; if (!cint_rt_call_enter(ctx, cs82)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t10, &t11)) goto fault; cint_rt_call_leave(ctx); l10_s1 = t11; t12 = l8_p; if (!(t12 >= 0 && t12 < INT64_C(3))) { (void)cint_index_check(ctx, cs83, "index.checked.i64", t12, INT64_C(3)); goto fault; } t13 = cg_st->g_th1[t12]; if (!cint_rt_call_enter(ctx, cs84)) goto fault; if (!ci_8_pendulum_4_icos(ctx, t13, &t14)) goto fault; cint_rt_call_leave(ctx); l11_c1 = t14; t15 = l8_p; if (!(t15 >= 0 && t15 < INT64_C(3))) { (void)cint_index_check(ctx, cs85, "index.checked.i64", t15, INT64_C(3)); goto fault; } t16 = cg_st->g_th2[t15]; if (!cint_rt_call_enter(ctx, cs86)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t16, &t17)) goto fault; cint_rt_call_leave(ctx); l12_s2 = t17; t18 = l8_p; if (!(t18 >= 0 && t18 < INT64_C(3))) { (void)cint_index_check(ctx, cs87, "index.checked.i64", t18, INT64_C(3)); goto fault; } t19 = cg_st->g_th2[t18]; if (!cint_rt_call_enter(ctx, cs88)) goto fault; if (!ci_8_pendulum_4_icos(ctx, t19, &t20)) goto fault; cint_rt_call_leave(ctx); l13_c2 = t20; t21 = l8_p; if (!(t21 >= 0 && t21 < INT64_C(3))) { (void)cint_index_check(ctx, cs89, "index.checked.i64", t21, INT64_C(3)); goto fault; } t22 = l10_s1; l4_s1_arr[t21] = t22; t23 = l8_p; if (!(t23 >= 0 && t23 < INT64_C(3))) { (void)cint_index_check(ctx, cs90, "index.checked.i64", t23, INT64_C(3)); goto fault; } t24 = l11_c1; l5_c1_arr[t23] = t24; t25 = l8_p; if (!(t25 >= 0 && t25 < INT64_C(3))) { (void)cint_index_check(ctx, cs91, "index.checked.i64", t25, INT64_C(3)); goto fault; } t26 = l12_s2; l6_s2_arr[t25] = t26; t27 = l8_p; if (!(t27 >= 0 && t27 < INT64_C(3))) { (void)cint_index_check(ctx, cs92, "index.checked.i64", t27, INT64_C(3)); goto fault; } t28 = l13_c2; l7_c2_arr[t27] = t28; t29 = l9_dth; if (!cint_rt_call_enter(ctx, cs93)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t29, &t30)) goto fault; cint_rt_call_leave(ctx); l14_sd = t30; t31 = l9_dth; if (!cint_rt_call_enter(ctx, cs94)) goto fault; if (!ci_8_pendulum_4_icos(ctx, t31, &t32)) goto fault; cint_rt_call_leave(ctx); l15_cd = t32; t33 = INT64_C(2); t34 = l9_dth; if (!cint_mul_i64(ctx, cs95, t33, t34, &t35)) goto fault; if (!cint_rt_call_enter(ctx, cs96)) goto fault; if (!ci_8_pendulum_4_icos(ctx, t35, &t36)) goto fault; cint_rt_call_leave(ctx); l16_c2d = t36; t37 = INT64_C(3); t38 = INT64_C(1000000); if (!cint_mul_i64(ctx, cs97, t37, t38, &t39)) goto fault; t40 = l16_c2d; if (!cint_sub_i64(ctx, cs98, t39, t40, &t41)) goto fault; l17_den = t41; t42 = l17_den; t43 = INT64_C(0); t44 = t42 == t43; if (!t44) goto L108_f; t45 = INT64_C(1); l17_den = t45; goto L103_e; L108_f:; L103_e:; t46 = l8_p; if (!(t46 >= 0 && t46 < INT64_C(3))) { (void)cint_index_check(ctx, cs99, "index.checked.i64", t46, INT64_C(3)); goto fault; } t47 = cg_st->g_w1[t46]; t48 = l8_p; if (!(t48 >= 0 && t48 < INT64_C(3))) { (void)cint_index_check(ctx, cs100, "index.checked.i64", t48, INT64_C(3)); goto fault; } t49 = cg_st->g_w1[t48]; if (!cint_mul_i64(ctx, cs101, t47, t49, &t50)) goto fault; t51 = INT64_C(1000000); t52 = INT64_C(2); if (!cint_div_i64(ctx, cs102, t51, t52, &t53)) goto fault; if (!cint_add_i64(ctx, cs103, t50, t53, &t54)) goto fault; t55 = INT64_C(1000000); if (!cint_div_i64(ctx, cs104, t54, t55, &t56)) goto fault; l18_w1_sq = t56; t57 = l8_p; if (!(t57 >= 0 && t57 < INT64_C(3))) { (void)cint_index_check(ctx, cs105, "index.checked.i64", t57, INT64_C(3)); goto fault; } t58 = cg_st->g_w2[t57]; t59 = l8_p; if (!(t59 >= 0 && t59 < INT64_C(3))) { (void)cint_index_check(ctx, cs106, "index.checked.i64", t59, INT64_C(3)); goto fault; } t60 = cg_st->g_w2[t59]; if (!cint_mul_i64(ctx, cs107, t58, t60, &t61)) goto fault; t62 = INT64_C(1000000); t63 = INT64_C(2); if (!cint_div_i64(ctx, cs108, t62, t63, &t64)) goto fault; if (!cint_add_i64(ctx, cs109, t61, t64, &t65)) goto fault; t66 = INT64_C(1000000); if (!cint_div_i64(ctx, cs110, t65, t66, &t67)) goto fault; l19_w2_sq = t67; t68 = INT64_C(-3); t69 = INT64_C(9806650); t70 = l10_s1; if (!cint_mul_i64(ctx, cs111, t69, t70, &t71)) goto fault; t72 = INT64_C(1000000); if (!cint_div_i64(ctx, cs112, t71, t72, &t73)) goto fault; if (!cint_mul_i64(ctx, cs113, t68, t73, &t74)) goto fault; t75 = INT64_C(9806650); t76 = l8_p; if (!(t76 >= 0 && t76 < INT64_C(3))) { (void)cint_index_check(ctx, cs114, "index.checked.i64", t76, INT64_C(3)); goto fault; } t77 = cg_st->g_th1[t76]; t78 = INT64_C(2); t79 = l8_p; if (!(t79 >= 0 && t79 < INT64_C(3))) { (void)cint_index_check(ctx, cs115, "index.checked.i64", t79, INT64_C(3)); goto fault; } t80 = cg_st->g_th2[t79]; if (!cint_mul_i64(ctx, cs116, t78, t80, &t81)) goto fault; if (!cint_sub_i64(ctx, cs117, t77, t81, &t82)) goto fault; if (!cint_rt_call_enter(ctx, cs118)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t82, &t83)) goto fault; cint_rt_call_leave(ctx); if (!cint_mul_i64(ctx, cs119, t75, t83, &t84)) goto fault; t85 = INT64_C(1000000); if (!cint_div_i64(ctx, cs120, t84, t85, &t86)) goto fault; if (!cint_sub_i64(ctx, cs121, t74, t86, &t87)) goto fault; t88 = INT64_C(2); t89 = l14_sd; t90 = l19_w2_sq; t91 = l18_w1_sq; t92 = l15_cd; if (!cint_mul_i64(ctx, cs122, t91, t92, &t93)) goto fault; t94 = INT64_C(1000000); if (!cint_div_i64(ctx, cs123, t93, t94, &t95)) goto fault; if (!cint_add_i64(ctx, cs124, t90, t95, &t96)) goto fault; if (!cint_mul_i64(ctx, cs125, t89, t96, &t97)) goto fault; t98 = INT64_C(1000000); if (!cint_div_i64(ctx, cs126, t97, t98, &t99)) goto fault; if (!cint_mul_i64(ctx, cs127, t88, t99, &t100)) goto fault; if (!cint_sub_i64(ctx, cs128, t87, t100, &t101)) goto fault; l20_num1 = t101; t102 = l8_p; if (!(t102 >= 0 && t102 < INT64_C(3))) { (void)cint_index_check(ctx, cs129, "index.checked.i64", t102, INT64_C(3)); goto fault; } t103 = l20_num1; t104 = INT64_C(1000000); if (!cint_mul_i64(ctx, cs130, t103, t104, &t105)) goto fault; t106 = l17_den; if (!cint_div_i64(ctx, cs131, t105, t106, &t107)) goto fault; l0_alpha1[t102] = t107; t108 = INT64_C(9806650); t109 = l11_c1; if (!cint_mul_i64(ctx, cs132, t108, t109, &t110)) goto fault; t111 = INT64_C(1000000); if (!cint_div_i64(ctx, cs133, t110, t111, &t112)) goto fault; l21_g_c1 = t112; t113 = INT64_C(2); t114 = l14_sd; t115 = INT64_C(2); t116 = l18_w1_sq; if (!cint_mul_i64(ctx, cs134, t115, t116, &t117)) goto fault; t118 = INT64_C(2); t119 = l21_g_c1; if (!cint_mul_i64(ctx, cs135, t118, t119, &t120)) goto fault; if (!cint_add_i64(ctx, cs136, t117, t120, &t121)) goto fault; t122 = l19_w2_sq; t123 = l15_cd; if (!cint_mul_i64(ctx, cs137, t122, t123, &t124)) goto fault; t125 = INT64_C(1000000); if (!cint_div_i64(ctx, cs138, t124, t125, &t126)) goto fault; if (!cint_add_i64(ctx, cs139, t121, t126, &t127)) goto fault; if (!cint_mul_i64(ctx, cs140, t114, t127, &t128)) goto fault; t129 = INT64_C(1000000); if (!cint_div_i64(ctx, cs141, t128, t129, &t130)) goto fault; if (!cint_mul_i64(ctx, cs142, t113, t130, &t131)) goto fault; l22_num2 = t131; t132 = l8_p; if (!(t132 >= 0 && t132 < INT64_C(3))) { (void)cint_index_check(ctx, cs143, "index.checked.i64", t132, INT64_C(3)); goto fault; } t133 = l22_num2; t134 = INT64_C(1000000); if (!cint_mul_i64(ctx, cs144, t133, t134, &t135)) goto fault; t136 = l17_den; if (!cint_div_i64(ctx, cs145, t135, t136, &t137)) goto fault; l1_alpha2[t132] = t137; t138 = l8_p; if (!(t138 >= 0 && t138 < INT64_C(3))) { (void)cint_index_check(ctx, cs146, "index.checked.i64", t138, INT64_C(3)); goto fault; } t139 = cg_st->g_w_phi1[t138]; t140 = l8_p; if (!(t140 >= 0 && t140 < INT64_C(3))) { (void)cint_index_check(ctx, cs147, "index.checked.i64", t140, INT64_C(3)); goto fault; } t141 = cg_st->g_w_phi1[t140]; if (!cint_mul_i64(ctx, cs148, t139, t141, &t142)) goto fault; t143 = INT64_C(1000000); if (!cint_div_i64(ctx, cs149, t142, t143, &t144)) goto fault; t145 = l10_s1; t146 = l11_c1; if (!cint_mul_i64(ctx, cs150, t145, t146, &t147)) goto fault; t148 = INT64_C(1000000); if (!cint_div_i64(ctx, cs151, t147, t148, &t149)) goto fault; if (!cint_mul_i64(ctx, cs152, t144, t149, &t150)) goto fault; t151 = INT64_C(1000000); if (!cint_div_i64(ctx, cs153, t150, t151, &t152)) goto fault; l23_cent1 = t152; t153 = l8_p; if (!(t153 >= 0 && t153 < INT64_C(3))) { (void)cint_index_check(ctx, cs154, "index.checked.i64", t153, INT64_C(3)); goto fault; } t154 = cg_st->g_w_phi2[t153]; t155 = l8_p; if (!(t155 >= 0 && t155 < INT64_C(3))) { (void)cint_index_check(ctx, cs155, "index.checked.i64", t155, INT64_C(3)); goto fault; } t156 = cg_st->g_w_phi2[t155]; if (!cint_mul_i64(ctx, cs156, t154, t156, &t157)) goto fault; t158 = INT64_C(1000000); if (!cint_div_i64(ctx, cs157, t157, t158, &t159)) goto fault; t160 = l12_s2; t161 = l13_c2; if (!cint_mul_i64(ctx, cs158, t160, t161, &t162)) goto fault; t163 = INT64_C(1000000); if (!cint_div_i64(ctx, cs159, t162, t163, &t164)) goto fault; if (!cint_mul_i64(ctx, cs160, t159, t164, &t165)) goto fault; t166 = INT64_C(1000000); if (!cint_div_i64(ctx, cs161, t165, t166, &t167)) goto fault; l24_cent2 = t167; t168 = l8_p; if (!(t168 >= 0 && t168 < INT64_C(3))) { (void)cint_index_check(ctx, cs162, "index.checked.i64", t168, INT64_C(3)); goto fault; } t169 = l8_p; if (!(t169 >= 0 && t169 < INT64_C(3))) { (void)cint_index_check(ctx, cs163, "index.checked.i64", t169, INT64_C(3)); goto fault; } t170 = l0_alpha1[t169]; t171 = l23_cent1; if (!cint_add_i64(ctx, cs164, t170, t171, &t172)) goto fault; l0_alpha1[t168] = t172; t173 = l8_p; if (!(t173 >= 0 && t173 < INT64_C(3))) { (void)cint_index_check(ctx, cs165, "index.checked.i64", t173, INT64_C(3)); goto fault; } t174 = l8_p; if (!(t174 >= 0 && t174 < INT64_C(3))) { (void)cint_index_check(ctx, cs166, "index.checked.i64", t174, INT64_C(3)); goto fault; } t175 = l1_alpha2[t174]; t176 = l24_cent2; if (!cint_add_i64(ctx, cs167, t175, t176, &t177)) goto fault; l1_alpha2[t173] = t177; t178 = l8_p; if (!(t178 >= 0 && t178 < INT64_C(3))) { (void)cint_index_check(ctx, cs168, "index.checked.i64", t178, INT64_C(3)); goto fault; } t179 = cg_st->g_phi1[t178]; t180 = l8_p; if (!(t180 >= 0 && t180 < INT64_C(3))) { (void)cint_index_check(ctx, cs169, "index.checked.i64", t180, INT64_C(3)); goto fault; } t181 = cg_st->g_phi2[t180]; if (!cint_sub_i64(ctx, cs170, t179, t181, &t182)) goto fault; l25_dphi = t182; t183 = l25_dphi; if (!cint_rt_call_enter(ctx, cs171)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t183, &t184)) goto fault; cint_rt_call_leave(ctx); l26_sd_phi = t184; t185 = INT64_C(9806650); t186 = l26_sd_phi; if (!cint_mul_i64(ctx, cs172, t185, t186, &t187)) goto fault; t188 = INT64_C(1000000); if (!cint_div_i64(ctx, cs173, t187, t188, &t189)) goto fault; l27_tau = t189; t190 = l8_p; if (!(t190 >= 0 && t190 < INT64_C(3))) { (void)cint_index_check(ctx, cs174, "index.checked.i64", t190, INT64_C(3)); goto fault; } t191 = l27_tau; if (!cint_neg_i64(ctx, cs175, t191, &t192)) goto fault; l2_alpha_phi1[t190] = t192; t193 = l8_p; if (!(t193 >= 0 && t193 < INT64_C(3))) { (void)cint_index_check(ctx, cs176, "index.checked.i64", t193, INT64_C(3)); goto fault; } t194 = l27_tau; l3_alpha_phi2[t193] = t194; t195 = l8_p; t196 = INT64_C(1); t197 = cint_add_wrap_i64(t195, t196); l8_p = t197; goto L21_h; L21_e:; t198 = cg_st->g_tether; l28_coupling_k = t198; t199 = l28_coupling_k; t200 = INT64_C(0); t201 = t199 > t200; if (!t201) goto L324_f; t202 = INT64_C(9806650); t203 = l28_coupling_k; if (!cint_mul_i64(ctx, cs177, t202, t203, &t204)) goto fault; t205 = l28_coupling_k; if (!cint_mul_i64(ctx, cs178, t204, t205, &t206)) goto fault; t207 = INT64_C(10000); if (!cint_div_i64(ctx, cs179, t206, t207, &t208)) goto fault; l29_kp = t208; t209 = INT64_C(2); t210 = l29_kp; t211 = INT64_C(1000000); if (!cint_mul_i64(ctx, cs180, t210, t211, &t212)) goto fault; if (!cint_builtin_i64(ctx, cs181, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)t212, 0u, 0u, &t213)) goto fault; if (!cint_mul_i64(ctx, cs182, t209, t213, &t214)) goto fault; l30_kd = t214; t215 = INT64_C(1); t216 = INT64_C(3); l31_p = t215; L346_h:; t217 = l31_p; t218 = t217 < t216; if (!t218) goto L346_e; if (!cint_fuel_charge(ctx, cs183, 1u)) goto fault; t219 = l31_p; if (!(t219 >= 0 && t219 < INT64_C(3))) { (void)cint_index_check(ctx, cs184, "index.checked.i64", t219, INT64_C(3)); goto fault; } t220 = l31_p; if (!(t220 >= 0 && t220 < INT64_C(3))) { (void)cint_index_check(ctx, cs185, "index.checked.i64", t220, INT64_C(3)); goto fault; } t221 = l0_alpha1[t220]; t222 = INT64_C(0); if (!(t222 >= 0 && t222 < INT64_C(3))) { (void)cint_index_check(ctx, cs186, "index.checked.i64", t222, INT64_C(3)); goto fault; } t223 = cg_st->g_th1[t222]; t224 = l31_p; if (!(t224 >= 0 && t224 < INT64_C(3))) { (void)cint_index_check(ctx, cs187, "index.checked.i64", t224, INT64_C(3)); goto fault; } t225 = cg_st->g_th1[t224]; if (!cint_sub_i64(ctx, cs188, t223, t225, &t226)) goto fault; if (!cint_rt_call_enter(ctx, cs189)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t226, &t227)) goto fault; cint_rt_call_leave(ctx); t228 = l29_kp; if (!cint_mul_i64(ctx, cs190, t227, t228, &t229)) goto fault; t230 = INT64_C(1000000); if (!cint_div_i64(ctx, cs191, t229, t230, &t231)) goto fault; if (!cint_add_i64(ctx, cs192, t221, t231, &t232)) goto fault; t233 = INT64_C(0); if (!(t233 >= 0 && t233 < INT64_C(3))) { (void)cint_index_check(ctx, cs193, "index.checked.i64", t233, INT64_C(3)); goto fault; } t234 = cg_st->g_w1[t233]; t235 = l31_p; if (!(t235 >= 0 && t235 < INT64_C(3))) { (void)cint_index_check(ctx, cs194, "index.checked.i64", t235, INT64_C(3)); goto fault; } t236 = cg_st->g_w1[t235]; if (!cint_sub_i64(ctx, cs195, t234, t236, &t237)) goto fault; t238 = l30_kd; if (!cint_mul_i64(ctx, cs196, t237, t238, &t239)) goto fault; t240 = INT64_C(1000000); if (!cint_div_i64(ctx, cs197, t239, t240, &t241)) goto fault; if (!cint_add_i64(ctx, cs198, t232, t241, &t242)) goto fault; l0_alpha1[t219] = t242; t243 = l31_p; if (!(t243 >= 0 && t243 < INT64_C(3))) { (void)cint_index_check(ctx, cs199, "index.checked.i64", t243, INT64_C(3)); goto fault; } t244 = l31_p; if (!(t244 >= 0 && t244 < INT64_C(3))) { (void)cint_index_check(ctx, cs200, "index.checked.i64", t244, INT64_C(3)); goto fault; } t245 = l1_alpha2[t244]; t246 = INT64_C(0); if (!(t246 >= 0 && t246 < INT64_C(3))) { (void)cint_index_check(ctx, cs201, "index.checked.i64", t246, INT64_C(3)); goto fault; } t247 = cg_st->g_th2[t246]; t248 = l31_p; if (!(t248 >= 0 && t248 < INT64_C(3))) { (void)cint_index_check(ctx, cs202, "index.checked.i64", t248, INT64_C(3)); goto fault; } t249 = cg_st->g_th2[t248]; if (!cint_sub_i64(ctx, cs203, t247, t249, &t250)) goto fault; if (!cint_rt_call_enter(ctx, cs204)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t250, &t251)) goto fault; cint_rt_call_leave(ctx); t252 = l29_kp; if (!cint_mul_i64(ctx, cs205, t251, t252, &t253)) goto fault; t254 = INT64_C(1000000); if (!cint_div_i64(ctx, cs206, t253, t254, &t255)) goto fault; if (!cint_add_i64(ctx, cs207, t245, t255, &t256)) goto fault; t257 = INT64_C(0); if (!(t257 >= 0 && t257 < INT64_C(3))) { (void)cint_index_check(ctx, cs208, "index.checked.i64", t257, INT64_C(3)); goto fault; } t258 = cg_st->g_w2[t257]; t259 = l31_p; if (!(t259 >= 0 && t259 < INT64_C(3))) { (void)cint_index_check(ctx, cs209, "index.checked.i64", t259, INT64_C(3)); goto fault; } t260 = cg_st->g_w2[t259]; if (!cint_sub_i64(ctx, cs210, t258, t260, &t261)) goto fault; t262 = l30_kd; if (!cint_mul_i64(ctx, cs211, t261, t262, &t263)) goto fault; t264 = INT64_C(1000000); if (!cint_div_i64(ctx, cs212, t263, t264, &t265)) goto fault; if (!cint_add_i64(ctx, cs213, t256, t265, &t266)) goto fault; l1_alpha2[t243] = t266; t267 = l31_p; if (!(t267 >= 0 && t267 < INT64_C(3))) { (void)cint_index_check(ctx, cs214, "index.checked.i64", t267, INT64_C(3)); goto fault; } t268 = l31_p; if (!(t268 >= 0 && t268 < INT64_C(3))) { (void)cint_index_check(ctx, cs215, "index.checked.i64", t268, INT64_C(3)); goto fault; } t269 = l2_alpha_phi1[t268]; t270 = INT64_C(0); if (!(t270 >= 0 && t270 < INT64_C(3))) { (void)cint_index_check(ctx, cs216, "index.checked.i64", t270, INT64_C(3)); goto fault; } t271 = cg_st->g_phi1[t270]; t272 = l31_p; if (!(t272 >= 0 && t272 < INT64_C(3))) { (void)cint_index_check(ctx, cs217, "index.checked.i64", t272, INT64_C(3)); goto fault; } t273 = cg_st->g_phi1[t272]; if (!cint_sub_i64(ctx, cs218, t271, t273, &t274)) goto fault; if (!cint_rt_call_enter(ctx, cs219)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t274, &t275)) goto fault; cint_rt_call_leave(ctx); t276 = l29_kp; if (!cint_mul_i64(ctx, cs220, t275, t276, &t277)) goto fault; t278 = INT64_C(1000000); if (!cint_div_i64(ctx, cs221, t277, t278, &t279)) goto fault; if (!cint_add_i64(ctx, cs222, t269, t279, &t280)) goto fault; t281 = INT64_C(0); if (!(t281 >= 0 && t281 < INT64_C(3))) { (void)cint_index_check(ctx, cs223, "index.checked.i64", t281, INT64_C(3)); goto fault; } t282 = cg_st->g_w_phi1[t281]; t283 = l31_p; if (!(t283 >= 0 && t283 < INT64_C(3))) { (void)cint_index_check(ctx, cs224, "index.checked.i64", t283, INT64_C(3)); goto fault; } t284 = cg_st->g_w_phi1[t283]; if (!cint_sub_i64(ctx, cs225, t282, t284, &t285)) goto fault; t286 = l30_kd; if (!cint_mul_i64(ctx, cs226, t285, t286, &t287)) goto fault; t288 = INT64_C(1000000); if (!cint_div_i64(ctx, cs227, t287, t288, &t289)) goto fault; if (!cint_add_i64(ctx, cs228, t280, t289, &t290)) goto fault; l2_alpha_phi1[t267] = t290; t291 = l31_p; if (!(t291 >= 0 && t291 < INT64_C(3))) { (void)cint_index_check(ctx, cs229, "index.checked.i64", t291, INT64_C(3)); goto fault; } t292 = l31_p; if (!(t292 >= 0 && t292 < INT64_C(3))) { (void)cint_index_check(ctx, cs230, "index.checked.i64", t292, INT64_C(3)); goto fault; } t293 = l3_alpha_phi2[t292]; t294 = INT64_C(0); if (!(t294 >= 0 && t294 < INT64_C(3))) { (void)cint_index_check(ctx, cs231, "index.checked.i64", t294, INT64_C(3)); goto fault; } t295 = cg_st->g_phi2[t294]; t296 = l31_p; if (!(t296 >= 0 && t296 < INT64_C(3))) { (void)cint_index_check(ctx, cs232, "index.checked.i64", t296, INT64_C(3)); goto fault; } t297 = cg_st->g_phi2[t296]; if (!cint_sub_i64(ctx, cs233, t295, t297, &t298)) goto fault; if (!cint_rt_call_enter(ctx, cs234)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t298, &t299)) goto fault; cint_rt_call_leave(ctx); t300 = l29_kp; if (!cint_mul_i64(ctx, cs235, t299, t300, &t301)) goto fault; t302 = INT64_C(1000000); if (!cint_div_i64(ctx, cs236, t301, t302, &t303)) goto fault; if (!cint_add_i64(ctx, cs237, t293, t303, &t304)) goto fault; t305 = INT64_C(0); if (!(t305 >= 0 && t305 < INT64_C(3))) { (void)cint_index_check(ctx, cs238, "index.checked.i64", t305, INT64_C(3)); goto fault; } t306 = cg_st->g_w_phi2[t305]; t307 = l31_p; if (!(t307 >= 0 && t307 < INT64_C(3))) { (void)cint_index_check(ctx, cs239, "index.checked.i64", t307, INT64_C(3)); goto fault; } t308 = cg_st->g_w_phi2[t307]; if (!cint_sub_i64(ctx, cs240, t306, t308, &t309)) goto fault; t310 = l30_kd; if (!cint_mul_i64(ctx, cs241, t309, t310, &t311)) goto fault; t312 = INT64_C(1000000); if (!cint_div_i64(ctx, cs242, t311, t312, &t313)) goto fault; if (!cint_add_i64(ctx, cs243, t304, t313, &t314)) goto fault; l3_alpha_phi2[t291] = t314; t315 = l31_p; t316 = INT64_C(1); t317 = cint_add_wrap_i64(t315, t316); l31_p = t317; goto L346_h; L346_e:; goto L319_e; L324_f:; L319_e:; t318 = l28_coupling_k; t319 = INT64_C(0); t320 = t318 < t319; if (!t320) goto L492_f; t321 = l28_coupling_k; t322 = INT64_C(100000); if (!cint_mul_i64(ctx, cs244, t321, t322, &t323)) goto fault; t324 = INT64_C(100); if (!cint_div_i64(ctx, cs245, t323, t324, &t325)) goto fault; l32_c_ang = t325; t326 = l28_coupling_k; t327 = INT64_C(2000); if (!cint_mul_i64(ctx, cs246, t326, t327, &t328)) goto fault; t329 = INT64_C(100); if (!cint_div_i64(ctx, cs247, t328, t329, &t330)) goto fault; l33_c_vel = t330; t331 = INT64_C(1); t332 = INT64_C(3); l34_p = t331; L511_h:; t333 = l34_p; t334 = t333 < t332; if (!t334) goto L511_e; if (!cint_fuel_charge(ctx, cs248, 1u)) goto fault; t335 = l34_p; if (!(t335 >= 0 && t335 < INT64_C(3))) { (void)cint_index_check(ctx, cs249, "index.checked.i64", t335, INT64_C(3)); goto fault; } t336 = l34_p; if (!(t336 >= 0 && t336 < INT64_C(3))) { (void)cint_index_check(ctx, cs250, "index.checked.i64", t336, INT64_C(3)); goto fault; } t337 = l0_alpha1[t336]; t338 = INT64_C(0); if (!(t338 >= 0 && t338 < INT64_C(3))) { (void)cint_index_check(ctx, cs251, "index.checked.i64", t338, INT64_C(3)); goto fault; } t339 = cg_st->g_th1[t338]; t340 = l34_p; if (!(t340 >= 0 && t340 < INT64_C(3))) { (void)cint_index_check(ctx, cs252, "index.checked.i64", t340, INT64_C(3)); goto fault; } t341 = cg_st->g_th1[t340]; if (!cint_sub_i64(ctx, cs253, t339, t341, &t342)) goto fault; if (!cint_rt_call_enter(ctx, cs254)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t342, &t343)) goto fault; cint_rt_call_leave(ctx); t344 = l32_c_ang; if (!cint_mul_i64(ctx, cs255, t343, t344, &t345)) goto fault; t346 = INT64_C(1000000); if (!cint_div_i64(ctx, cs256, t345, t346, &t347)) goto fault; if (!cint_add_i64(ctx, cs257, t337, t347, &t348)) goto fault; t349 = INT64_C(0); if (!(t349 >= 0 && t349 < INT64_C(3))) { (void)cint_index_check(ctx, cs258, "index.checked.i64", t349, INT64_C(3)); goto fault; } t350 = cg_st->g_w1[t349]; t351 = l34_p; if (!(t351 >= 0 && t351 < INT64_C(3))) { (void)cint_index_check(ctx, cs259, "index.checked.i64", t351, INT64_C(3)); goto fault; } t352 = cg_st->g_w1[t351]; if (!cint_sub_i64(ctx, cs260, t350, t352, &t353)) goto fault; t354 = l33_c_vel; if (!cint_mul_i64(ctx, cs261, t353, t354, &t355)) goto fault; t356 = INT64_C(1000); if (!cint_div_i64(ctx, cs262, t355, t356, &t357)) goto fault; if (!cint_add_i64(ctx, cs263, t348, t357, &t358)) goto fault; l0_alpha1[t335] = t358; t359 = l34_p; if (!(t359 >= 0 && t359 < INT64_C(3))) { (void)cint_index_check(ctx, cs264, "index.checked.i64", t359, INT64_C(3)); goto fault; } t360 = l34_p; if (!(t360 >= 0 && t360 < INT64_C(3))) { (void)cint_index_check(ctx, cs265, "index.checked.i64", t360, INT64_C(3)); goto fault; } t361 = l1_alpha2[t360]; t362 = INT64_C(0); if (!(t362 >= 0 && t362 < INT64_C(3))) { (void)cint_index_check(ctx, cs266, "index.checked.i64", t362, INT64_C(3)); goto fault; } t363 = cg_st->g_th2[t362]; t364 = l34_p; if (!(t364 >= 0 && t364 < INT64_C(3))) { (void)cint_index_check(ctx, cs267, "index.checked.i64", t364, INT64_C(3)); goto fault; } t365 = cg_st->g_th2[t364]; if (!cint_sub_i64(ctx, cs268, t363, t365, &t366)) goto fault; if (!cint_rt_call_enter(ctx, cs269)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t366, &t367)) goto fault; cint_rt_call_leave(ctx); t368 = l32_c_ang; if (!cint_mul_i64(ctx, cs270, t367, t368, &t369)) goto fault; t370 = INT64_C(1000000); if (!cint_div_i64(ctx, cs271, t369, t370, &t371)) goto fault; if (!cint_add_i64(ctx, cs272, t361, t371, &t372)) goto fault; t373 = INT64_C(0); if (!(t373 >= 0 && t373 < INT64_C(3))) { (void)cint_index_check(ctx, cs273, "index.checked.i64", t373, INT64_C(3)); goto fault; } t374 = cg_st->g_w2[t373]; t375 = l34_p; if (!(t375 >= 0 && t375 < INT64_C(3))) { (void)cint_index_check(ctx, cs274, "index.checked.i64", t375, INT64_C(3)); goto fault; } t376 = cg_st->g_w2[t375]; if (!cint_sub_i64(ctx, cs275, t374, t376, &t377)) goto fault; t378 = l33_c_vel; if (!cint_mul_i64(ctx, cs276, t377, t378, &t379)) goto fault; t380 = INT64_C(1000); if (!cint_div_i64(ctx, cs277, t379, t380, &t381)) goto fault; if (!cint_add_i64(ctx, cs278, t372, t381, &t382)) goto fault; l1_alpha2[t359] = t382; t383 = l34_p; if (!(t383 >= 0 && t383 < INT64_C(3))) { (void)cint_index_check(ctx, cs279, "index.checked.i64", t383, INT64_C(3)); goto fault; } t384 = l34_p; if (!(t384 >= 0 && t384 < INT64_C(3))) { (void)cint_index_check(ctx, cs280, "index.checked.i64", t384, INT64_C(3)); goto fault; } t385 = l2_alpha_phi1[t384]; t386 = INT64_C(0); if (!(t386 >= 0 && t386 < INT64_C(3))) { (void)cint_index_check(ctx, cs281, "index.checked.i64", t386, INT64_C(3)); goto fault; } t387 = cg_st->g_phi1[t386]; t388 = l34_p; if (!(t388 >= 0 && t388 < INT64_C(3))) { (void)cint_index_check(ctx, cs282, "index.checked.i64", t388, INT64_C(3)); goto fault; } t389 = cg_st->g_phi1[t388]; if (!cint_sub_i64(ctx, cs283, t387, t389, &t390)) goto fault; if (!cint_rt_call_enter(ctx, cs284)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t390, &t391)) goto fault; cint_rt_call_leave(ctx); t392 = l32_c_ang; if (!cint_mul_i64(ctx, cs285, t391, t392, &t393)) goto fault; t394 = INT64_C(1000000); if (!cint_div_i64(ctx, cs286, t393, t394, &t395)) goto fault; if (!cint_add_i64(ctx, cs287, t385, t395, &t396)) goto fault; t397 = INT64_C(0); if (!(t397 >= 0 && t397 < INT64_C(3))) { (void)cint_index_check(ctx, cs288, "index.checked.i64", t397, INT64_C(3)); goto fault; } t398 = cg_st->g_w_phi1[t397]; t399 = l34_p; if (!(t399 >= 0 && t399 < INT64_C(3))) { (void)cint_index_check(ctx, cs289, "index.checked.i64", t399, INT64_C(3)); goto fault; } t400 = cg_st->g_w_phi1[t399]; if (!cint_sub_i64(ctx, cs290, t398, t400, &t401)) goto fault; t402 = l33_c_vel; if (!cint_mul_i64(ctx, cs291, t401, t402, &t403)) goto fault; t404 = INT64_C(1000); if (!cint_div_i64(ctx, cs292, t403, t404, &t405)) goto fault; if (!cint_add_i64(ctx, cs293, t396, t405, &t406)) goto fault; l2_alpha_phi1[t383] = t406; t407 = l34_p; if (!(t407 >= 0 && t407 < INT64_C(3))) { (void)cint_index_check(ctx, cs294, "index.checked.i64", t407, INT64_C(3)); goto fault; } t408 = l34_p; if (!(t408 >= 0 && t408 < INT64_C(3))) { (void)cint_index_check(ctx, cs295, "index.checked.i64", t408, INT64_C(3)); goto fault; } t409 = l3_alpha_phi2[t408]; t410 = INT64_C(0); if (!(t410 >= 0 && t410 < INT64_C(3))) { (void)cint_index_check(ctx, cs296, "index.checked.i64", t410, INT64_C(3)); goto fault; } t411 = cg_st->g_phi2[t410]; t412 = l34_p; if (!(t412 >= 0 && t412 < INT64_C(3))) { (void)cint_index_check(ctx, cs297, "index.checked.i64", t412, INT64_C(3)); goto fault; } t413 = cg_st->g_phi2[t412]; if (!cint_sub_i64(ctx, cs298, t411, t413, &t414)) goto fault; if (!cint_rt_call_enter(ctx, cs299)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t414, &t415)) goto fault; cint_rt_call_leave(ctx); t416 = l32_c_ang; if (!cint_mul_i64(ctx, cs300, t415, t416, &t417)) goto fault; t418 = INT64_C(1000000); if (!cint_div_i64(ctx, cs301, t417, t418, &t419)) goto fault; if (!cint_add_i64(ctx, cs302, t409, t419, &t420)) goto fault; t421 = INT64_C(0); if (!(t421 >= 0 && t421 < INT64_C(3))) { (void)cint_index_check(ctx, cs303, "index.checked.i64", t421, INT64_C(3)); goto fault; } t422 = cg_st->g_w_phi2[t421]; t423 = l34_p; if (!(t423 >= 0 && t423 < INT64_C(3))) { (void)cint_index_check(ctx, cs304, "index.checked.i64", t423, INT64_C(3)); goto fault; } t424 = cg_st->g_w_phi2[t423]; if (!cint_sub_i64(ctx, cs305, t422, t424, &t425)) goto fault; t426 = l33_c_vel; if (!cint_mul_i64(ctx, cs306, t425, t426, &t427)) goto fault; t428 = INT64_C(1000); if (!cint_div_i64(ctx, cs307, t427, t428, &t429)) goto fault; if (!cint_add_i64(ctx, cs308, t420, t429, &t430)) goto fault; l3_alpha_phi2[t407] = t430; t431 = l34_p; t432 = INT64_C(1); t433 = cint_add_wrap_i64(t431, t432); l34_p = t433; goto L511_h; L511_e:; goto L487_e; L492_f:; L487_e:; t434 = INT64_C(0); t435 = INT64_C(3); l35_p = t434; L656_h:; t436 = l35_p; t437 = t436 < t435; if (!t437) goto L656_e; if (!cint_fuel_charge(ctx, cs309, 1u)) goto fault; t438 = l35_p; if (!(t438 >= 0 && t438 < INT64_C(3))) { (void)cint_index_check(ctx, cs310, "index.checked.i64", t438, INT64_C(3)); goto fault; } t439 = l35_p; if (!(t439 >= 0 && t439 < INT64_C(3))) { (void)cint_index_check(ctx, cs311, "index.checked.i64", t439, INT64_C(3)); goto fault; } t440 = cg_st->g_w1[t439]; t441 = l35_p; if (!(t441 >= 0 && t441 < INT64_C(3))) { (void)cint_index_check(ctx, cs312, "index.checked.i64", t441, INT64_C(3)); goto fault; } t442 = l0_alpha1[t441]; t443 = INT64_C(10000); if (!cint_mul_i64(ctx, cs313, t442, t443, &t444)) goto fault; t445 = INT64_C(1000000); if (!cint_div_i64(ctx, cs314, t444, t445, &t446)) goto fault; if (!cint_add_i64(ctx, cs315, t440, t446, &t447)) goto fault; cg_st->g_w1[t438] = t447; t448 = l35_p; if (!(t448 >= 0 && t448 < INT64_C(3))) { (void)cint_index_check(ctx, cs316, "index.checked.i64", t448, INT64_C(3)); goto fault; } t449 = l35_p; if (!(t449 >= 0 && t449 < INT64_C(3))) { (void)cint_index_check(ctx, cs317, "index.checked.i64", t449, INT64_C(3)); goto fault; } t450 = cg_st->g_w2[t449]; t451 = l35_p; if (!(t451 >= 0 && t451 < INT64_C(3))) { (void)cint_index_check(ctx, cs318, "index.checked.i64", t451, INT64_C(3)); goto fault; } t452 = l1_alpha2[t451]; t453 = INT64_C(10000); if (!cint_mul_i64(ctx, cs319, t452, t453, &t454)) goto fault; t455 = INT64_C(1000000); if (!cint_div_i64(ctx, cs320, t454, t455, &t456)) goto fault; if (!cint_add_i64(ctx, cs321, t450, t456, &t457)) goto fault; cg_st->g_w2[t448] = t457; t458 = l35_p; if (!(t458 >= 0 && t458 < INT64_C(3))) { (void)cint_index_check(ctx, cs322, "index.checked.i64", t458, INT64_C(3)); goto fault; } t459 = l35_p; if (!(t459 >= 0 && t459 < INT64_C(3))) { (void)cint_index_check(ctx, cs323, "index.checked.i64", t459, INT64_C(3)); goto fault; } t460 = cg_st->g_w_phi1[t459]; t461 = l35_p; if (!(t461 >= 0 && t461 < INT64_C(3))) { (void)cint_index_check(ctx, cs324, "index.checked.i64", t461, INT64_C(3)); goto fault; } t462 = l2_alpha_phi1[t461]; t463 = INT64_C(10000); if (!cint_mul_i64(ctx, cs325, t462, t463, &t464)) goto fault; t465 = INT64_C(1000000); if (!cint_div_i64(ctx, cs326, t464, t465, &t466)) goto fault; if (!cint_add_i64(ctx, cs327, t460, t466, &t467)) goto fault; cg_st->g_w_phi1[t458] = t467; t468 = l35_p; if (!(t468 >= 0 && t468 < INT64_C(3))) { (void)cint_index_check(ctx, cs328, "index.checked.i64", t468, INT64_C(3)); goto fault; } t469 = l35_p; if (!(t469 >= 0 && t469 < INT64_C(3))) { (void)cint_index_check(ctx, cs329, "index.checked.i64", t469, INT64_C(3)); goto fault; } t470 = cg_st->g_w_phi2[t469]; t471 = l35_p; if (!(t471 >= 0 && t471 < INT64_C(3))) { (void)cint_index_check(ctx, cs330, "index.checked.i64", t471, INT64_C(3)); goto fault; } t472 = l3_alpha_phi2[t471]; t473 = INT64_C(10000); if (!cint_mul_i64(ctx, cs331, t472, t473, &t474)) goto fault; t475 = INT64_C(1000000); if (!cint_div_i64(ctx, cs332, t474, t475, &t476)) goto fault; if (!cint_add_i64(ctx, cs333, t470, t476, &t477)) goto fault; cg_st->g_w_phi2[t468] = t477; t478 = l35_p; if (!(t478 >= 0 && t478 < INT64_C(3))) { (void)cint_index_check(ctx, cs334, "index.checked.i64", t478, INT64_C(3)); goto fault; } t479 = l35_p; if (!(t479 >= 0 && t479 < INT64_C(3))) { (void)cint_index_check(ctx, cs335, "index.checked.i64", t479, INT64_C(3)); goto fault; } t480 = cg_st->g_w1[t479]; if (!cint_rt_call_enter(ctx, cs336)) goto fault; if (!ci_8_pendulum_6_govern(ctx, t480, &t481)) goto fault; cint_rt_call_leave(ctx); cg_st->g_w1[t478] = t481; t482 = l35_p; if (!(t482 >= 0 && t482 < INT64_C(3))) { (void)cint_index_check(ctx, cs337, "index.checked.i64", t482, INT64_C(3)); goto fault; } t483 = l35_p; if (!(t483 >= 0 && t483 < INT64_C(3))) { (void)cint_index_check(ctx, cs338, "index.checked.i64", t483, INT64_C(3)); goto fault; } t484 = cg_st->g_w2[t483]; if (!cint_rt_call_enter(ctx, cs339)) goto fault; if (!ci_8_pendulum_6_govern(ctx, t484, &t485)) goto fault; cint_rt_call_leave(ctx); cg_st->g_w2[t482] = t485; t486 = l35_p; if (!(t486 >= 0 && t486 < INT64_C(3))) { (void)cint_index_check(ctx, cs340, "index.checked.i64", t486, INT64_C(3)); goto fault; } t487 = l35_p; if (!(t487 >= 0 && t487 < INT64_C(3))) { (void)cint_index_check(ctx, cs341, "index.checked.i64", t487, INT64_C(3)); goto fault; } t488 = cg_st->g_w_phi1[t487]; if (!cint_rt_call_enter(ctx, cs342)) goto fault; if (!ci_8_pendulum_6_govern(ctx, t488, &t489)) goto fault; cint_rt_call_leave(ctx); cg_st->g_w_phi1[t486] = t489; t490 = l35_p; if (!(t490 >= 0 && t490 < INT64_C(3))) { (void)cint_index_check(ctx, cs343, "index.checked.i64", t490, INT64_C(3)); goto fault; } t491 = l35_p; if (!(t491 >= 0 && t491 < INT64_C(3))) { (void)cint_index_check(ctx, cs344, "index.checked.i64", t491, INT64_C(3)); goto fault; } t492 = cg_st->g_w_phi2[t491]; if (!cint_rt_call_enter(ctx, cs345)) goto fault; if (!ci_8_pendulum_6_govern(ctx, t492, &t493)) goto fault; cint_rt_call_leave(ctx); cg_st->g_w_phi2[t490] = t493; t494 = l35_p; if (!(t494 >= 0 && t494 < INT64_C(3))) { (void)cint_index_check(ctx, cs346, "index.checked.i64", t494, INT64_C(3)); goto fault; } t495 = l35_p; if (!(t495 >= 0 && t495 < INT64_C(3))) { (void)cint_index_check(ctx, cs347, "index.checked.i64", t495, INT64_C(3)); goto fault; } t496 = cg_st->g_th1[t495]; t497 = l35_p; if (!(t497 >= 0 && t497 < INT64_C(3))) { (void)cint_index_check(ctx, cs348, "index.checked.i64", t497, INT64_C(3)); goto fault; } t498 = cg_st->g_w1[t497]; t499 = INT64_C(10000); if (!cint_mul_i64(ctx, cs349, t498, t499, &t500)) goto fault; t501 = INT64_C(1000000); if (!cint_div_i64(ctx, cs350, t500, t501, &t502)) goto fault; if (!cint_add_i64(ctx, cs351, t496, t502, &t503)) goto fault; cg_st->g_th1[t494] = t503; t504 = l35_p; if (!(t504 >= 0 && t504 < INT64_C(3))) { (void)cint_index_check(ctx, cs352, "index.checked.i64", t504, INT64_C(3)); goto fault; } t505 = l35_p; if (!(t505 >= 0 && t505 < INT64_C(3))) { (void)cint_index_check(ctx, cs353, "index.checked.i64", t505, INT64_C(3)); goto fault; } t506 = cg_st->g_th2[t505]; t507 = l35_p; if (!(t507 >= 0 && t507 < INT64_C(3))) { (void)cint_index_check(ctx, cs354, "index.checked.i64", t507, INT64_C(3)); goto fault; } t508 = cg_st->g_w2[t507]; t509 = INT64_C(10000); if (!cint_mul_i64(ctx, cs355, t508, t509, &t510)) goto fault; t511 = INT64_C(1000000); if (!cint_div_i64(ctx, cs356, t510, t511, &t512)) goto fault; if (!cint_add_i64(ctx, cs357, t506, t512, &t513)) goto fault; cg_st->g_th2[t504] = t513; t514 = l35_p; if (!(t514 >= 0 && t514 < INT64_C(3))) { (void)cint_index_check(ctx, cs358, "index.checked.i64", t514, INT64_C(3)); goto fault; } t515 = l35_p; if (!(t515 >= 0 && t515 < INT64_C(3))) { (void)cint_index_check(ctx, cs359, "index.checked.i64", t515, INT64_C(3)); goto fault; } t516 = cg_st->g_phi1[t515]; t517 = l35_p; if (!(t517 >= 0 && t517 < INT64_C(3))) { (void)cint_index_check(ctx, cs360, "index.checked.i64", t517, INT64_C(3)); goto fault; } t518 = cg_st->g_w_phi1[t517]; t519 = INT64_C(10000); if (!cint_mul_i64(ctx, cs361, t518, t519, &t520)) goto fault; t521 = INT64_C(1000000); if (!cint_div_i64(ctx, cs362, t520, t521, &t522)) goto fault; if (!cint_add_i64(ctx, cs363, t516, t522, &t523)) goto fault; cg_st->g_phi1[t514] = t523; t524 = l35_p; if (!(t524 >= 0 && t524 < INT64_C(3))) { (void)cint_index_check(ctx, cs364, "index.checked.i64", t524, INT64_C(3)); goto fault; } t525 = l35_p; if (!(t525 >= 0 && t525 < INT64_C(3))) { (void)cint_index_check(ctx, cs365, "index.checked.i64", t525, INT64_C(3)); goto fault; } t526 = cg_st->g_phi2[t525]; t527 = l35_p; if (!(t527 >= 0 && t527 < INT64_C(3))) { (void)cint_index_check(ctx, cs366, "index.checked.i64", t527, INT64_C(3)); goto fault; } t528 = cg_st->g_w_phi2[t527]; t529 = INT64_C(10000); if (!cint_mul_i64(ctx, cs367, t528, t529, &t530)) goto fault; t531 = INT64_C(1000000); if (!cint_div_i64(ctx, cs368, t530, t531, &t532)) goto fault; if (!cint_add_i64(ctx, cs369, t526, t532, &t533)) goto fault; cg_st->g_phi2[t524] = t533; t534 = l35_p; if (!(t534 >= 0 && t534 < INT64_C(3))) { (void)cint_index_check(ctx, cs370, "index.checked.i64", t534, INT64_C(3)); goto fault; } t535 = l4_s1_arr[t534]; t536 = l35_p; if (!(t536 >= 0 && t536 < INT64_C(3))) { (void)cint_index_check(ctx, cs371, "index.checked.i64", t536, INT64_C(3)); goto fault; } t537 = l5_c1_arr[t536]; t538 = l35_p; if (!(t538 >= 0 && t538 < INT64_C(3))) { (void)cint_index_check(ctx, cs372, "index.checked.i64", t538, INT64_C(3)); goto fault; } t539 = cg_st->g_phi1[t538]; if (!cint_rt_call_enter(ctx, cs373)) goto fault; if (!ci_8_pendulum_4_unit(ctx, t535, t537, t539)) goto fault; cint_rt_call_leave(ctx); t540 = INT64_C(1000000); t541 = cg_st->g_ux; if (!cint_mul_i64(ctx, cs374, t540, t541, &t542)) goto fault; t543 = INT64_C(1000000); if (!cint_div_i64(ctx, cs375, t542, t543, &t544)) goto fault; l36_x1 = t544; t545 = INT64_C(1000000); t546 = cg_st->g_uy; if (!cint_mul_i64(ctx, cs376, t545, t546, &t547)) goto fault; t548 = INT64_C(1000000); if (!cint_div_i64(ctx, cs377, t547, t548, &t549)) goto fault; l37_y1 = t549; t550 = INT64_C(1000000); t551 = cg_st->g_uz; if (!cint_mul_i64(ctx, cs378, t550, t551, &t552)) goto fault; t553 = INT64_C(1000000); if (!cint_div_i64(ctx, cs379, t552, t553, &t554)) goto fault; l38_z1 = t554; t555 = l35_p; if (!(t555 >= 0 && t555 < INT64_C(3))) { (void)cint_index_check(ctx, cs380, "index.checked.i64", t555, INT64_C(3)); goto fault; } t556 = l6_s2_arr[t555]; t557 = l35_p; if (!(t557 >= 0 && t557 < INT64_C(3))) { (void)cint_index_check(ctx, cs381, "index.checked.i64", t557, INT64_C(3)); goto fault; } t558 = l7_c2_arr[t557]; t559 = l35_p; if (!(t559 >= 0 && t559 < INT64_C(3))) { (void)cint_index_check(ctx, cs382, "index.checked.i64", t559, INT64_C(3)); goto fault; } t560 = cg_st->g_phi2[t559]; if (!cint_rt_call_enter(ctx, cs383)) goto fault; if (!ci_8_pendulum_4_unit(ctx, t556, t558, t560)) goto fault; cint_rt_call_leave(ctx); t561 = l36_x1; t562 = INT64_C(1000000); t563 = cg_st->g_ux; if (!cint_mul_i64(ctx, cs384, t562, t563, &t564)) goto fault; t565 = INT64_C(1000000); if (!cint_div_i64(ctx, cs385, t564, t565, &t566)) goto fault; if (!cint_add_i64(ctx, cs386, t561, t566, &t567)) goto fault; l39_x2 = t567; t568 = l37_y1; t569 = INT64_C(1000000); t570 = cg_st->g_uy; if (!cint_mul_i64(ctx, cs387, t569, t570, &t571)) goto fault; t572 = INT64_C(1000000); if (!cint_div_i64(ctx, cs388, t571, t572, &t573)) goto fault; if (!cint_add_i64(ctx, cs389, t568, t573, &t574)) goto fault; l40_y2 = t574; t575 = l38_z1; t576 = INT64_C(1000000); t577 = cg_st->g_uz; if (!cint_mul_i64(ctx, cs390, t576, t577, &t578)) goto fault; t579 = INT64_C(1000000); if (!cint_div_i64(ctx, cs391, t578, t579, &t580)) goto fault; if (!cint_add_i64(ctx, cs392, t575, t580, &t581)) goto fault; l41_z2 = t581; t582 = l35_p; if (!(t582 >= 0 && t582 < INT64_C(3))) { (void)cint_index_check(ctx, cs393, "index.checked.i64", t582, INT64_C(3)); goto fault; } t583 = l39_x2; cg_st->g_step_x2[t582] = t583; t584 = l35_p; if (!(t584 >= 0 && t584 < INT64_C(3))) { (void)cint_index_check(ctx, cs394, "index.checked.i64", t584, INT64_C(3)); goto fault; } t585 = l40_y2; cg_st->g_step_y2[t584] = t585; t586 = l35_p; if (!(t586 >= 0 && t586 < INT64_C(3))) { (void)cint_index_check(ctx, cs395, "index.checked.i64", t586, INT64_C(3)); goto fault; } t587 = l41_z2; cg_st->g_step_z2[t586] = t587; t588 = l35_p; if (!(t588 >= 0 && t588 < INT64_C(3))) { (void)cint_index_check(ctx, cs396, "index.checked.u64", t588, INT64_C(3)); goto fault; } t589 = l35_p; if (!(t589 >= 0 && t589 < INT64_C(3))) { (void)cint_index_check(ctx, cs397, "index.checked.u64", t589, INT64_C(3)); goto fault; } t590 = cg_st->g_digest[t589]; t591 = UINT64_C(1099511628211); t592 = cint_mul_wrap_u64(t590, t591); t593 = l35_p; if (!(t593 >= 0 && t593 < INT64_C(3))) { (void)cint_index_check(ctx, cs398, "index.checked.i64", t593, INT64_C(3)); goto fault; } t594 = cg_st->g_th1[t593]; t595 = cint_as_wrap_u64_from_i64(t594); t596 = (uint64_t)(t592 ^ t595); t597 = l35_p; if (!(t597 >= 0 && t597 < INT64_C(3))) { (void)cint_index_check(ctx, cs399, "index.checked.i64", t597, INT64_C(3)); goto fault; } t598 = cg_st->g_phi1[t597]; t599 = cint_as_wrap_u64_from_i64(t598); t600 = INT64_C(11); if (!cint_shl_wrap_u64(ctx, cs400, t599, cint_count_i64(t600), &t601)) goto fault; t602 = (uint64_t)(t596 ^ t601); t603 = l35_p; if (!(t603 >= 0 && t603 < INT64_C(3))) { (void)cint_index_check(ctx, cs401, "index.checked.i64", t603, INT64_C(3)); goto fault; } t604 = cg_st->g_th2[t603]; t605 = cint_as_wrap_u64_from_i64(t604); t606 = INT64_C(22); if (!cint_shl_wrap_u64(ctx, cs402, t605, cint_count_i64(t606), &t607)) goto fault; t608 = (uint64_t)(t602 ^ t607); t609 = l35_p; if (!(t609 >= 0 && t609 < INT64_C(3))) { (void)cint_index_check(ctx, cs403, "index.checked.i64", t609, INT64_C(3)); goto fault; } t610 = cg_st->g_phi2[t609]; t611 = cint_as_wrap_u64_from_i64(t610); t612 = INT64_C(33); if (!cint_shl_wrap_u64(ctx, cs404, t611, cint_count_i64(t612), &t613)) goto fault; t614 = (uint64_t)(t608 ^ t613); t615 = l39_x2; t616 = cint_as_wrap_u64_from_i64(t615); t617 = INT64_C(44); if (!cint_shl_wrap_u64(ctx, cs405, t616, cint_count_i64(t617), &t618)) goto fault; t619 = (uint64_t)(t614 ^ t618); t620 = l40_y2; t621 = cint_as_wrap_u64_from_i64(t620); t622 = INT64_C(27); if (!cint_shl_wrap_u64(ctx, cs406, t621, cint_count_i64(t622), &t623)) goto fault; t624 = (uint64_t)(t619 ^ t623); t625 = l41_z2; t626 = cint_as_wrap_u64_from_i64(t625); t627 = INT64_C(7); if (!cint_shl_wrap_u64(ctx, cs407, t626, cint_count_i64(t627), &t628)) goto fault; t629 = (uint64_t)(t624 ^ t628); cg_st->g_digest[t588] = t629; t630 = l35_p; t631 = INT64_C(1); t632 = cint_add_wrap_i64(t630, t631); l35_p = t632; goto L656_h; L656_e:; return true; fault: return false; } static bool ci_8_pendulum_14_run_x5Ftriplet(cint_ctx *ctx, int64_t v_steps, int64_t v_coupling_k, uint64_t *v_out_digests, int64_t o_out_digests, int64_t n_out_digests, int64_t s_out_digests, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; bool t2 = false; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; bool t9 = false; int64_t t10 = 0; int64_t t11 = 0; uint64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t l0_i = 0; int64_t l1_p = 0; int64_t l2_dx = 0; int64_t l3_dy = 0; int64_t l4_dz = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_steps; (void)v_coupling_k; (void)v_out_digests; (void)o_out_digests; (void)n_out_digests; (void)s_out_digests; (void)l0_i; (void)l1_p; (void)l2_dx; (void)l3_dy; (void)l4_dz; (void)result; static const cint_site cs408 = {0u, 408u}; (void)cs408; static const cint_site cs409 = {0u, 409u}; (void)cs409; static const cint_site cs410 = {0u, 410u}; (void)cs410; static const cint_site cs411 = {0u, 411u}; (void)cs411; static const cint_site cs412 = {0u, 412u}; (void)cs412; static const cint_site cs413 = {0u, 413u}; (void)cs413; static const cint_site cs414 = {0u, 414u}; (void)cs414; static const cint_site cs415 = {0u, 415u}; (void)cs415; static const cint_site cs416 = {0u, 416u}; (void)cs416; static const cint_site cs417 = {0u, 417u}; (void)cs417; static const cint_site cs418 = {0u, 418u}; (void)cs418; static const cint_site cs419 = {0u, 419u}; (void)cs419; static const cint_site cs420 = {0u, 420u}; (void)cs420; static const cint_site cs421 = {0u, 421u}; (void)cs421; static const cint_site cs422 = {0u, 422u}; (void)cs422; static const cint_site cs423 = {0u, 423u}; (void)cs423; static const cint_site cs424 = {0u, 424u}; (void)cs424; static const cint_site cs425 = {0u, 425u}; (void)cs425; static const cint_site cs426 = {0u, 426u}; (void)cs426; static const cint_site cs427 = {0u, 427u}; (void)cs427; static const cint_site cs428 = {0u, 428u}; (void)cs428; if (!cint_rt_call_enter(ctx, cs408)) goto fault; if (!ci_8_pendulum_5_start(ctx)) goto fault; cint_rt_call_leave(ctx); cg_st->g_tether = v_coupling_k; t0 = INT64_C(0); l0_i = t0; L5_h:; t1 = l0_i; t2 = t1 < v_steps; if (!t2) goto L5_e; if (!cint_fuel_charge(ctx, cs409, 1u)) goto fault; if (!cint_rt_call_enter(ctx, cs410)) goto fault; if (!ci_8_pendulum_4_step(ctx)) goto fault; cint_rt_call_leave(ctx); t3 = l0_i; t4 = INT64_C(1); t5 = cint_add_wrap_i64(t3, t4); l0_i = t5; goto L5_h; L5_e:; t6 = INT64_C(0); t7 = INT64_C(3); l1_p = t6; L21_h:; t8 = l1_p; t9 = t8 < t7; if (!t9) goto L21_e; if (!cint_fuel_charge(ctx, cs411, 1u)) goto fault; t10 = l1_p; if (!(t10 >= 0 && t10 < n_out_digests)) { (void)cint_index_check(ctx, cs412, "index.checked.u64", t10, n_out_digests); goto fault; } t11 = l1_p; if (!(t11 >= 0 && t11 < INT64_C(3))) { (void)cint_index_check(ctx, cs413, "index.checked.u64", t11, INT64_C(3)); goto fault; } t12 = cg_st->g_digest[t11]; v_out_digests[o_out_digests + t10 * s_out_digests] = t12; t13 = l1_p; t14 = INT64_C(1); t15 = cint_add_wrap_i64(t13, t14); l1_p = t15; goto L21_h; L21_e:; t16 = INT64_C(1); if (!(t16 >= 0 && t16 < INT64_C(3))) { (void)cint_index_check(ctx, cs414, "index.checked.i64", t16, INT64_C(3)); goto fault; } t17 = cg_st->g_step_x2[t16]; t18 = INT64_C(0); if (!(t18 >= 0 && t18 < INT64_C(3))) { (void)cint_index_check(ctx, cs415, "index.checked.i64", t18, INT64_C(3)); goto fault; } t19 = cg_st->g_step_x2[t18]; if (!cint_sub_i64(ctx, cs416, t17, t19, &t20)) goto fault; l2_dx = t20; t21 = INT64_C(1); if (!(t21 >= 0 && t21 < INT64_C(3))) { (void)cint_index_check(ctx, cs417, "index.checked.i64", t21, INT64_C(3)); goto fault; } t22 = cg_st->g_step_y2[t21]; t23 = INT64_C(0); if (!(t23 >= 0 && t23 < INT64_C(3))) { (void)cint_index_check(ctx, cs418, "index.checked.i64", t23, INT64_C(3)); goto fault; } t24 = cg_st->g_step_y2[t23]; if (!cint_sub_i64(ctx, cs419, t22, t24, &t25)) goto fault; l3_dy = t25; t26 = INT64_C(1); if (!(t26 >= 0 && t26 < INT64_C(3))) { (void)cint_index_check(ctx, cs420, "index.checked.i64", t26, INT64_C(3)); goto fault; } t27 = cg_st->g_step_z2[t26]; t28 = INT64_C(0); if (!(t28 >= 0 && t28 < INT64_C(3))) { (void)cint_index_check(ctx, cs421, "index.checked.i64", t28, INT64_C(3)); goto fault; } t29 = cg_st->g_step_z2[t28]; if (!cint_sub_i64(ctx, cs422, t27, t29, &t30)) goto fault; l4_dz = t30; t31 = l2_dx; t32 = l2_dx; if (!cint_mul_i64(ctx, cs423, t31, t32, &t33)) goto fault; t34 = l3_dy; t35 = l3_dy; if (!cint_mul_i64(ctx, cs424, t34, t35, &t36)) goto fault; if (!cint_add_i64(ctx, cs425, t33, t36, &t37)) goto fault; t38 = l4_dz; t39 = l4_dz; if (!cint_mul_i64(ctx, cs426, t38, t39, &t40)) goto fault; if (!cint_add_i64(ctx, cs427, t37, t40, &t41)) goto fault; if (!cint_builtin_i64(ctx, cs428, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)t41, 0u, 0u, &t42)) goto fault; *result = t42; return true; fault: return false; } static bool ci_8_pendulum_4_load(cint_ctx *ctx, int64_t v_slot, int64_t v_value, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; bool t6 = false; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; bool t10 = false; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; bool t14 = false; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; bool t18 = false; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; bool t22 = false; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; bool t26 = false; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; bool t30 = false; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; bool t34 = false; int64_t t35 = 0; int64_t l0_p = 0; int64_t l1_f = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_slot; (void)v_value; (void)l0_p; (void)l1_f; (void)result; static const cint_site cs430 = {0u, 430u}; (void)cs430; static const cint_site cs431 = {0u, 431u}; (void)cs431; static const cint_site cs432 = {0u, 432u}; (void)cs432; static const cint_site cs433 = {0u, 433u}; (void)cs433; static const cint_site cs434 = {0u, 434u}; (void)cs434; static const cint_site cs435 = {0u, 435u}; (void)cs435; static const cint_site cs436 = {0u, 436u}; (void)cs436; static const cint_site cs437 = {0u, 437u}; (void)cs437; static const cint_site cs438 = {0u, 438u}; (void)cs438; static const cint_site cs439 = {0u, 439u}; (void)cs439; t0 = INT64_C(3); if (!cint_rem_i64(ctx, cs430, v_slot, t0, &t1)) goto fault; l0_p = t1; t2 = INT64_C(3); if (!cint_div_i64(ctx, cs431, v_slot, t2, &t3)) goto fault; l1_f = t3; t4 = l1_f; t5 = INT64_C(0); t6 = t4 == t5; if (!t6) goto L14_f; t7 = l0_p; if (!(t7 >= 0 && t7 < INT64_C(3))) { (void)cint_index_check(ctx, cs432, "index.checked.i64", t7, INT64_C(3)); goto fault; } cg_st->g_th1[t7] = v_value; goto L9_e; L14_f:; L9_e:; t8 = l1_f; t9 = INT64_C(1); t10 = t8 == t9; if (!t10) goto L25_f; t11 = l0_p; if (!(t11 >= 0 && t11 < INT64_C(3))) { (void)cint_index_check(ctx, cs433, "index.checked.i64", t11, INT64_C(3)); goto fault; } cg_st->g_th2[t11] = v_value; goto L20_e; L25_f:; L20_e:; t12 = l1_f; t13 = INT64_C(2); t14 = t12 == t13; if (!t14) goto L36_f; t15 = l0_p; if (!(t15 >= 0 && t15 < INT64_C(3))) { (void)cint_index_check(ctx, cs434, "index.checked.i64", t15, INT64_C(3)); goto fault; } cg_st->g_phi1[t15] = v_value; goto L31_e; L36_f:; L31_e:; t16 = l1_f; t17 = INT64_C(3); t18 = t16 == t17; if (!t18) goto L47_f; t19 = l0_p; if (!(t19 >= 0 && t19 < INT64_C(3))) { (void)cint_index_check(ctx, cs435, "index.checked.i64", t19, INT64_C(3)); goto fault; } cg_st->g_phi2[t19] = v_value; goto L42_e; L47_f:; L42_e:; t20 = l1_f; t21 = INT64_C(4); t22 = t20 == t21; if (!t22) goto L58_f; t23 = l0_p; if (!(t23 >= 0 && t23 < INT64_C(3))) { (void)cint_index_check(ctx, cs436, "index.checked.i64", t23, INT64_C(3)); goto fault; } cg_st->g_w1[t23] = v_value; goto L53_e; L58_f:; L53_e:; t24 = l1_f; t25 = INT64_C(5); t26 = t24 == t25; if (!t26) goto L69_f; t27 = l0_p; if (!(t27 >= 0 && t27 < INT64_C(3))) { (void)cint_index_check(ctx, cs437, "index.checked.i64", t27, INT64_C(3)); goto fault; } cg_st->g_w2[t27] = v_value; goto L64_e; L69_f:; L64_e:; t28 = l1_f; t29 = INT64_C(6); t30 = t28 == t29; if (!t30) goto L80_f; t31 = l0_p; if (!(t31 >= 0 && t31 < INT64_C(3))) { (void)cint_index_check(ctx, cs438, "index.checked.i64", t31, INT64_C(3)); goto fault; } cg_st->g_w_phi1[t31] = v_value; goto L75_e; L80_f:; L75_e:; t32 = l1_f; t33 = INT64_C(7); t34 = t32 == t33; if (!t34) goto L91_f; t35 = l0_p; if (!(t35 >= 0 && t35 < INT64_C(3))) { (void)cint_index_check(ctx, cs439, "index.checked.i64", t35, INT64_C(3)); goto fault; } cg_st->g_w_phi2[t35] = v_value; goto L86_e; L91_f:; L86_e:; *result = v_value; return true; fault: return false; } static bool ci_8_pendulum_4_read(cint_ctx *ctx, int64_t v_slot, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; bool t6 = false; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; bool t11 = false; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; bool t16 = false; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; bool t21 = false; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; bool t26 = false; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; bool t31 = false; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; bool t36 = false; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t l0_p = 0; int64_t l1_f = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_slot; (void)l0_p; (void)l1_f; (void)result; static const cint_site cs441 = {0u, 441u}; (void)cs441; static const cint_site cs442 = {0u, 442u}; (void)cs442; static const cint_site cs443 = {0u, 443u}; (void)cs443; static const cint_site cs444 = {0u, 444u}; (void)cs444; static const cint_site cs445 = {0u, 445u}; (void)cs445; static const cint_site cs446 = {0u, 446u}; (void)cs446; static const cint_site cs447 = {0u, 447u}; (void)cs447; static const cint_site cs448 = {0u, 448u}; (void)cs448; static const cint_site cs449 = {0u, 449u}; (void)cs449; static const cint_site cs450 = {0u, 450u}; (void)cs450; t0 = INT64_C(3); if (!cint_rem_i64(ctx, cs441, v_slot, t0, &t1)) goto fault; l0_p = t1; t2 = INT64_C(3); if (!cint_div_i64(ctx, cs442, v_slot, t2, &t3)) goto fault; l1_f = t3; t4 = l1_f; t5 = INT64_C(0); t6 = t4 == t5; if (!t6) goto L14_f; t7 = l0_p; if (!(t7 >= 0 && t7 < INT64_C(3))) { (void)cint_index_check(ctx, cs443, "index.checked.i64", t7, INT64_C(3)); goto fault; } t8 = cg_st->g_th1[t7]; *result = t8; return true; L14_f:; t9 = l1_f; t10 = INT64_C(1); t11 = t9 == t10; if (!t11) goto L26_f; t12 = l0_p; if (!(t12 >= 0 && t12 < INT64_C(3))) { (void)cint_index_check(ctx, cs444, "index.checked.i64", t12, INT64_C(3)); goto fault; } t13 = cg_st->g_th2[t12]; *result = t13; return true; L26_f:; t14 = l1_f; t15 = INT64_C(2); t16 = t14 == t15; if (!t16) goto L38_f; t17 = l0_p; if (!(t17 >= 0 && t17 < INT64_C(3))) { (void)cint_index_check(ctx, cs445, "index.checked.i64", t17, INT64_C(3)); goto fault; } t18 = cg_st->g_phi1[t17]; *result = t18; return true; L38_f:; t19 = l1_f; t20 = INT64_C(3); t21 = t19 == t20; if (!t21) goto L50_f; t22 = l0_p; if (!(t22 >= 0 && t22 < INT64_C(3))) { (void)cint_index_check(ctx, cs446, "index.checked.i64", t22, INT64_C(3)); goto fault; } t23 = cg_st->g_phi2[t22]; *result = t23; return true; L50_f:; t24 = l1_f; t25 = INT64_C(4); t26 = t24 == t25; if (!t26) goto L62_f; t27 = l0_p; if (!(t27 >= 0 && t27 < INT64_C(3))) { (void)cint_index_check(ctx, cs447, "index.checked.i64", t27, INT64_C(3)); goto fault; } t28 = cg_st->g_w1[t27]; *result = t28; return true; L62_f:; t29 = l1_f; t30 = INT64_C(5); t31 = t29 == t30; if (!t31) goto L74_f; t32 = l0_p; if (!(t32 >= 0 && t32 < INT64_C(3))) { (void)cint_index_check(ctx, cs448, "index.checked.i64", t32, INT64_C(3)); goto fault; } t33 = cg_st->g_w2[t32]; *result = t33; return true; L74_f:; t34 = l1_f; t35 = INT64_C(6); t36 = t34 == t35; if (!t36) goto L86_f; t37 = l0_p; if (!(t37 >= 0 && t37 < INT64_C(3))) { (void)cint_index_check(ctx, cs449, "index.checked.i64", t37, INT64_C(3)); goto fault; } t38 = cg_st->g_w_phi1[t37]; *result = t38; return true; L86_f:; t39 = l0_p; if (!(t39 >= 0 && t39 < INT64_C(3))) { (void)cint_index_check(ctx, cs450, "index.checked.i64", t39, INT64_C(3)); goto fault; } t40 = cg_st->g_w_phi2[t39]; *result = t40; return true; fault: return false; } static bool ci_8_pendulum_4_seed(cint_ctx *ctx, int64_t v_p, uint64_t v_value, uint64_t *result) { cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_p; (void)v_value; (void)result; static const cint_site cs452 = {0u, 452u}; (void)cs452; if (!(v_p >= 0 && v_p < INT64_C(3))) { (void)cint_index_check(ctx, cs452, "index.checked.u64", v_p, INT64_C(3)); goto fault; } cg_st->g_digest[v_p] = v_value; *result = v_value; return true; fault: return false; } static bool ci_8_pendulum_12_digest_x5Fof(cint_ctx *ctx, int64_t v_p, uint64_t *result) { uint64_t t0 = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_p; (void)result; static const cint_site cs454 = {0u, 454u}; (void)cs454; if (!(v_p >= 0 && v_p < INT64_C(3))) { (void)cint_index_check(ctx, cs454, "index.checked.u64", v_p, INT64_C(3)); goto fault; } t0 = cg_st->g_digest[v_p]; *result = t0; return true; fault: return false; } static bool ci_8_pendulum_4_pull(cint_ctx *ctx, int64_t v_k, int64_t *result) { cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_k; (void)result; cg_st->g_tether = v_k; *result = v_k; return true; } static bool ci_8_pendulum_7_advance(cint_ctx *ctx, int64_t v_ticks, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; bool t2 = false; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t l0_i = 0; (void)ctx; (void)v_ticks; (void)l0_i; (void)result; static const cint_site cs457 = {0u, 457u}; (void)cs457; static const cint_site cs458 = {0u, 458u}; (void)cs458; t0 = INT64_C(0); l0_i = t0; L4_h:; t1 = l0_i; t2 = t1 < v_ticks; if (!t2) goto L4_e; if (!cint_fuel_charge(ctx, cs457, 1u)) goto fault; if (!cint_rt_call_enter(ctx, cs458)) goto fault; if (!ci_8_pendulum_4_step(ctx)) goto fault; cint_rt_call_leave(ctx); t3 = l0_i; t4 = INT64_C(1); t5 = cint_add_wrap_i64(t3, t4); l0_i = t5; goto L4_h; L4_e:; *result = v_ticks; return true; fault: return false; } static bool ci_8_pendulum_6_locate(cint_ctx *ctx, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; bool t3 = false; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t t36 = 0; int64_t t37 = 0; int64_t t38 = 0; int64_t t39 = 0; int64_t t40 = 0; int64_t t41 = 0; int64_t t42 = 0; int64_t t43 = 0; int64_t t44 = 0; int64_t t45 = 0; int64_t t46 = 0; int64_t t47 = 0; int64_t t48 = 0; int64_t t49 = 0; int64_t t50 = 0; int64_t t51 = 0; int64_t t52 = 0; int64_t t53 = 0; int64_t t54 = 0; int64_t t55 = 0; int64_t t56 = 0; int64_t t57 = 0; int64_t t58 = 0; int64_t t59 = 0; int64_t t60 = 0; int64_t t61 = 0; int64_t t62 = 0; int64_t t63 = 0; int64_t t64 = 0; int64_t t65 = 0; int64_t t66 = 0; int64_t t67 = 0; int64_t t68 = 0; int64_t t69 = 0; int64_t t70 = 0; int64_t t71 = 0; int64_t t72 = 0; int64_t t73 = 0; int64_t t74 = 0; int64_t t75 = 0; int64_t t76 = 0; int64_t t77 = 0; int64_t t78 = 0; int64_t t79 = 0; int64_t t80 = 0; int64_t t81 = 0; int64_t t82 = 0; int64_t t83 = 0; int64_t t84 = 0; int64_t t85 = 0; int64_t t86 = 0; int64_t t87 = 0; int64_t t88 = 0; int64_t t89 = 0; int64_t t90 = 0; int64_t t91 = 0; int64_t l0_p = 0; int64_t l1_x1 = 0; int64_t l2_y1 = 0; int64_t l3_z1 = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)l0_p; (void)l1_x1; (void)l2_y1; (void)l3_z1; (void)result; static const cint_site cs460 = {0u, 460u}; (void)cs460; static const cint_site cs461 = {0u, 461u}; (void)cs461; static const cint_site cs462 = {0u, 462u}; (void)cs462; static const cint_site cs463 = {0u, 463u}; (void)cs463; static const cint_site cs464 = {0u, 464u}; (void)cs464; static const cint_site cs465 = {0u, 465u}; (void)cs465; static const cint_site cs466 = {0u, 466u}; (void)cs466; static const cint_site cs467 = {0u, 467u}; (void)cs467; static const cint_site cs468 = {0u, 468u}; (void)cs468; static const cint_site cs469 = {0u, 469u}; (void)cs469; static const cint_site cs470 = {0u, 470u}; (void)cs470; static const cint_site cs471 = {0u, 471u}; (void)cs471; static const cint_site cs472 = {0u, 472u}; (void)cs472; static const cint_site cs473 = {0u, 473u}; (void)cs473; static const cint_site cs474 = {0u, 474u}; (void)cs474; static const cint_site cs475 = {0u, 475u}; (void)cs475; static const cint_site cs476 = {0u, 476u}; (void)cs476; static const cint_site cs477 = {0u, 477u}; (void)cs477; static const cint_site cs478 = {0u, 478u}; (void)cs478; static const cint_site cs479 = {0u, 479u}; (void)cs479; static const cint_site cs480 = {0u, 480u}; (void)cs480; static const cint_site cs481 = {0u, 481u}; (void)cs481; static const cint_site cs482 = {0u, 482u}; (void)cs482; static const cint_site cs483 = {0u, 483u}; (void)cs483; static const cint_site cs484 = {0u, 484u}; (void)cs484; static const cint_site cs485 = {0u, 485u}; (void)cs485; static const cint_site cs486 = {0u, 486u}; (void)cs486; static const cint_site cs487 = {0u, 487u}; (void)cs487; static const cint_site cs488 = {0u, 488u}; (void)cs488; static const cint_site cs489 = {0u, 489u}; (void)cs489; static const cint_site cs490 = {0u, 490u}; (void)cs490; static const cint_site cs491 = {0u, 491u}; (void)cs491; static const cint_site cs492 = {0u, 492u}; (void)cs492; static const cint_site cs493 = {0u, 493u}; (void)cs493; static const cint_site cs494 = {0u, 494u}; (void)cs494; static const cint_site cs495 = {0u, 495u}; (void)cs495; static const cint_site cs496 = {0u, 496u}; (void)cs496; static const cint_site cs497 = {0u, 497u}; (void)cs497; static const cint_site cs498 = {0u, 498u}; (void)cs498; static const cint_site cs499 = {0u, 499u}; (void)cs499; static const cint_site cs500 = {0u, 500u}; (void)cs500; static const cint_site cs501 = {0u, 501u}; (void)cs501; static const cint_site cs502 = {0u, 502u}; (void)cs502; static const cint_site cs503 = {0u, 503u}; (void)cs503; static const cint_site cs504 = {0u, 504u}; (void)cs504; static const cint_site cs505 = {0u, 505u}; (void)cs505; t0 = INT64_C(0); t1 = INT64_C(3); l0_p = t0; L5_h:; t2 = l0_p; t3 = t2 < t1; if (!t3) goto L5_e; if (!cint_fuel_charge(ctx, cs460, 1u)) goto fault; t4 = l0_p; if (!(t4 >= 0 && t4 < INT64_C(3))) { (void)cint_index_check(ctx, cs461, "index.checked.i64", t4, INT64_C(3)); goto fault; } t5 = cg_st->g_th1[t4]; if (!cint_rt_call_enter(ctx, cs462)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t5, &t6)) goto fault; cint_rt_call_leave(ctx); t7 = l0_p; if (!(t7 >= 0 && t7 < INT64_C(3))) { (void)cint_index_check(ctx, cs463, "index.checked.i64", t7, INT64_C(3)); goto fault; } t8 = cg_st->g_th1[t7]; if (!cint_rt_call_enter(ctx, cs464)) goto fault; if (!ci_8_pendulum_4_icos(ctx, t8, &t9)) goto fault; cint_rt_call_leave(ctx); t10 = l0_p; if (!(t10 >= 0 && t10 < INT64_C(3))) { (void)cint_index_check(ctx, cs465, "index.checked.i64", t10, INT64_C(3)); goto fault; } t11 = cg_st->g_phi1[t10]; if (!cint_rt_call_enter(ctx, cs466)) goto fault; if (!ci_8_pendulum_4_unit(ctx, t6, t9, t11)) goto fault; cint_rt_call_leave(ctx); t12 = INT64_C(1000000); t13 = cg_st->g_ux; if (!cint_mul_i64(ctx, cs467, t12, t13, &t14)) goto fault; t15 = INT64_C(1000000); if (!cint_div_i64(ctx, cs468, t14, t15, &t16)) goto fault; l1_x1 = t16; t17 = INT64_C(1000000); t18 = cg_st->g_uy; if (!cint_mul_i64(ctx, cs469, t17, t18, &t19)) goto fault; t20 = INT64_C(1000000); if (!cint_div_i64(ctx, cs470, t19, t20, &t21)) goto fault; l2_y1 = t21; t22 = INT64_C(1000000); t23 = cg_st->g_uz; if (!cint_mul_i64(ctx, cs471, t22, t23, &t24)) goto fault; t25 = INT64_C(1000000); if (!cint_div_i64(ctx, cs472, t24, t25, &t26)) goto fault; l3_z1 = t26; t27 = l0_p; if (!(t27 >= 0 && t27 < INT64_C(3))) { (void)cint_index_check(ctx, cs473, "index.checked.i64", t27, INT64_C(3)); goto fault; } t28 = cg_st->g_th2[t27]; if (!cint_rt_call_enter(ctx, cs474)) goto fault; if (!ci_8_pendulum_4_isin(ctx, t28, &t29)) goto fault; cint_rt_call_leave(ctx); t30 = l0_p; if (!(t30 >= 0 && t30 < INT64_C(3))) { (void)cint_index_check(ctx, cs475, "index.checked.i64", t30, INT64_C(3)); goto fault; } t31 = cg_st->g_th2[t30]; if (!cint_rt_call_enter(ctx, cs476)) goto fault; if (!ci_8_pendulum_4_icos(ctx, t31, &t32)) goto fault; cint_rt_call_leave(ctx); t33 = l0_p; if (!(t33 >= 0 && t33 < INT64_C(3))) { (void)cint_index_check(ctx, cs477, "index.checked.i64", t33, INT64_C(3)); goto fault; } t34 = cg_st->g_phi2[t33]; if (!cint_rt_call_enter(ctx, cs478)) goto fault; if (!ci_8_pendulum_4_unit(ctx, t29, t32, t34)) goto fault; cint_rt_call_leave(ctx); t35 = INT64_C(6); t36 = l0_p; if (!cint_mul_i64(ctx, cs479, t35, t36, &t37)) goto fault; if (!(t37 >= 0 && t37 < INT64_C(18))) { (void)cint_index_check(ctx, cs480, "index.checked.i64", t37, INT64_C(18)); goto fault; } t38 = l1_x1; cg_st->g_places[t37] = t38; t39 = INT64_C(6); t40 = l0_p; if (!cint_mul_i64(ctx, cs481, t39, t40, &t41)) goto fault; t42 = INT64_C(1); if (!cint_add_i64(ctx, cs482, t41, t42, &t43)) goto fault; if (!(t43 >= 0 && t43 < INT64_C(18))) { (void)cint_index_check(ctx, cs483, "index.checked.i64", t43, INT64_C(18)); goto fault; } t44 = l2_y1; cg_st->g_places[t43] = t44; t45 = INT64_C(6); t46 = l0_p; if (!cint_mul_i64(ctx, cs484, t45, t46, &t47)) goto fault; t48 = INT64_C(2); if (!cint_add_i64(ctx, cs485, t47, t48, &t49)) goto fault; if (!(t49 >= 0 && t49 < INT64_C(18))) { (void)cint_index_check(ctx, cs486, "index.checked.i64", t49, INT64_C(18)); goto fault; } t50 = l3_z1; cg_st->g_places[t49] = t50; t51 = INT64_C(6); t52 = l0_p; if (!cint_mul_i64(ctx, cs487, t51, t52, &t53)) goto fault; t54 = INT64_C(3); if (!cint_add_i64(ctx, cs488, t53, t54, &t55)) goto fault; if (!(t55 >= 0 && t55 < INT64_C(18))) { (void)cint_index_check(ctx, cs489, "index.checked.i64", t55, INT64_C(18)); goto fault; } t56 = l1_x1; t57 = INT64_C(1000000); t58 = cg_st->g_ux; if (!cint_mul_i64(ctx, cs490, t57, t58, &t59)) goto fault; t60 = INT64_C(1000000); if (!cint_div_i64(ctx, cs491, t59, t60, &t61)) goto fault; if (!cint_add_i64(ctx, cs492, t56, t61, &t62)) goto fault; cg_st->g_places[t55] = t62; t63 = INT64_C(6); t64 = l0_p; if (!cint_mul_i64(ctx, cs493, t63, t64, &t65)) goto fault; t66 = INT64_C(4); if (!cint_add_i64(ctx, cs494, t65, t66, &t67)) goto fault; if (!(t67 >= 0 && t67 < INT64_C(18))) { (void)cint_index_check(ctx, cs495, "index.checked.i64", t67, INT64_C(18)); goto fault; } t68 = l2_y1; t69 = INT64_C(1000000); t70 = cg_st->g_uy; if (!cint_mul_i64(ctx, cs496, t69, t70, &t71)) goto fault; t72 = INT64_C(1000000); if (!cint_div_i64(ctx, cs497, t71, t72, &t73)) goto fault; if (!cint_add_i64(ctx, cs498, t68, t73, &t74)) goto fault; cg_st->g_places[t67] = t74; t75 = INT64_C(6); t76 = l0_p; if (!cint_mul_i64(ctx, cs499, t75, t76, &t77)) goto fault; t78 = INT64_C(5); if (!cint_add_i64(ctx, cs500, t77, t78, &t79)) goto fault; if (!(t79 >= 0 && t79 < INT64_C(18))) { (void)cint_index_check(ctx, cs501, "index.checked.i64", t79, INT64_C(18)); goto fault; } t80 = l3_z1; t81 = INT64_C(1000000); t82 = cg_st->g_uz; if (!cint_mul_i64(ctx, cs502, t81, t82, &t83)) goto fault; t84 = INT64_C(1000000); if (!cint_div_i64(ctx, cs503, t83, t84, &t85)) goto fault; if (!cint_add_i64(ctx, cs504, t80, t85, &t86)) goto fault; cg_st->g_places[t79] = t86; t87 = l0_p; t88 = INT64_C(1); t89 = cint_add_wrap_i64(t87, t88); l0_p = t89; goto L5_h; L5_e:; t90 = INT64_C(1); if (!cint_rt_call_enter(ctx, cs505)) goto fault; if (!ci_8_pendulum_6_spread(ctx, t90, &t91)) goto fault; cint_rt_call_leave(ctx); *result = t91; return true; fault: return false; } static bool ci_8_pendulum_5_place(cint_ctx *ctx, int64_t v_slot, int64_t *result) { int64_t t0 = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_slot; (void)result; static const cint_site cs507 = {0u, 507u}; (void)cs507; if (!(v_slot >= 0 && v_slot < INT64_C(18))) { (void)cint_index_check(ctx, cs507, "index.checked.i64", v_slot, INT64_C(18)); goto fault; } t0 = cg_st->g_places[v_slot]; *result = t0; return true; fault: return false; } static bool ci_8_pendulum_6_spread(cint_ctx *ctx, int64_t v_p, int64_t *result) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; int64_t t8 = 0; int64_t t9 = 0; int64_t t10 = 0; int64_t t11 = 0; int64_t t12 = 0; int64_t t13 = 0; int64_t t14 = 0; int64_t t15 = 0; int64_t t16 = 0; int64_t t17 = 0; int64_t t18 = 0; int64_t t19 = 0; int64_t t20 = 0; int64_t t21 = 0; int64_t t22 = 0; int64_t t23 = 0; int64_t t24 = 0; int64_t t25 = 0; int64_t t26 = 0; int64_t t27 = 0; int64_t t28 = 0; int64_t t29 = 0; int64_t t30 = 0; int64_t t31 = 0; int64_t t32 = 0; int64_t t33 = 0; int64_t t34 = 0; int64_t t35 = 0; int64_t l0_dx = 0; int64_t l1_dy = 0; int64_t l2_dz = 0; cg_8_pendulum_state *const cg_st = (cg_8_pendulum_state *)cint_rt_state(ctx, &cg_8_pendulum_state_desc); (void)ctx; if (cg_st == NULL) { return false; } (void)v_p; (void)l0_dx; (void)l1_dy; (void)l2_dz; (void)result; static const cint_site cs509 = {0u, 509u}; (void)cs509; static const cint_site cs510 = {0u, 510u}; (void)cs510; static const cint_site cs511 = {0u, 511u}; (void)cs511; static const cint_site cs512 = {0u, 512u}; (void)cs512; static const cint_site cs513 = {0u, 513u}; (void)cs513; static const cint_site cs514 = {0u, 514u}; (void)cs514; static const cint_site cs515 = {0u, 515u}; (void)cs515; static const cint_site cs516 = {0u, 516u}; (void)cs516; static const cint_site cs517 = {0u, 517u}; (void)cs517; static const cint_site cs518 = {0u, 518u}; (void)cs518; static const cint_site cs519 = {0u, 519u}; (void)cs519; static const cint_site cs520 = {0u, 520u}; (void)cs520; static const cint_site cs521 = {0u, 521u}; (void)cs521; static const cint_site cs522 = {0u, 522u}; (void)cs522; static const cint_site cs523 = {0u, 523u}; (void)cs523; static const cint_site cs524 = {0u, 524u}; (void)cs524; static const cint_site cs525 = {0u, 525u}; (void)cs525; static const cint_site cs526 = {0u, 526u}; (void)cs526; static const cint_site cs527 = {0u, 527u}; (void)cs527; static const cint_site cs528 = {0u, 528u}; (void)cs528; static const cint_site cs529 = {0u, 529u}; (void)cs529; t0 = INT64_C(6); if (!cint_mul_i64(ctx, cs509, t0, v_p, &t1)) goto fault; t2 = INT64_C(3); if (!cint_add_i64(ctx, cs510, t1, t2, &t3)) goto fault; if (!(t3 >= 0 && t3 < INT64_C(18))) { (void)cint_index_check(ctx, cs511, "index.checked.i64", t3, INT64_C(18)); goto fault; } t4 = cg_st->g_places[t3]; t5 = INT64_C(3); if (!(t5 >= 0 && t5 < INT64_C(18))) { (void)cint_index_check(ctx, cs512, "index.checked.i64", t5, INT64_C(18)); goto fault; } t6 = cg_st->g_places[t5]; if (!cint_sub_i64(ctx, cs513, t4, t6, &t7)) goto fault; l0_dx = t7; t8 = INT64_C(6); if (!cint_mul_i64(ctx, cs514, t8, v_p, &t9)) goto fault; t10 = INT64_C(4); if (!cint_add_i64(ctx, cs515, t9, t10, &t11)) goto fault; if (!(t11 >= 0 && t11 < INT64_C(18))) { (void)cint_index_check(ctx, cs516, "index.checked.i64", t11, INT64_C(18)); goto fault; } t12 = cg_st->g_places[t11]; t13 = INT64_C(4); if (!(t13 >= 0 && t13 < INT64_C(18))) { (void)cint_index_check(ctx, cs517, "index.checked.i64", t13, INT64_C(18)); goto fault; } t14 = cg_st->g_places[t13]; if (!cint_sub_i64(ctx, cs518, t12, t14, &t15)) goto fault; l1_dy = t15; t16 = INT64_C(6); if (!cint_mul_i64(ctx, cs519, t16, v_p, &t17)) goto fault; t18 = INT64_C(5); if (!cint_add_i64(ctx, cs520, t17, t18, &t19)) goto fault; if (!(t19 >= 0 && t19 < INT64_C(18))) { (void)cint_index_check(ctx, cs521, "index.checked.i64", t19, INT64_C(18)); goto fault; } t20 = cg_st->g_places[t19]; t21 = INT64_C(5); if (!(t21 >= 0 && t21 < INT64_C(18))) { (void)cint_index_check(ctx, cs522, "index.checked.i64", t21, INT64_C(18)); goto fault; } t22 = cg_st->g_places[t21]; if (!cint_sub_i64(ctx, cs523, t20, t22, &t23)) goto fault; l2_dz = t23; t24 = l0_dx; t25 = l0_dx; if (!cint_mul_i64(ctx, cs524, t24, t25, &t26)) goto fault; t27 = l1_dy; t28 = l1_dy; if (!cint_mul_i64(ctx, cs525, t27, t28, &t29)) goto fault; if (!cint_add_i64(ctx, cs526, t26, t29, &t30)) goto fault; t31 = l2_dz; t32 = l2_dz; if (!cint_mul_i64(ctx, cs527, t31, t32, &t33)) goto fault; if (!cint_add_i64(ctx, cs528, t30, t33, &t34)) goto fault; if (!cint_builtin_i64(ctx, cs529, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)t34, 0u, 0u, &t35)) goto fault; *result = t35; return true; fault: return false; } static bool ci_8_pendulum_4_main(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; uint64_t t4 = 0; int64_t t5 = 0; uint64_t t6 = 0; int64_t t7 = 0; uint64_t t8 = 0; int64_t t9 = 0; uint64_t l0_digests[3] = {0}; int64_t l1_dist = 0; (void)ctx; (void)l0_digests; (void)l1_dist; static const cint_site cs531 = {0u, 531u}; (void)cs531; static const cint_site cs532 = {0u, 532u}; (void)cs532; static const cint_site cs533 = {0u, 533u}; (void)cs533; static const cint_site cs534 = {0u, 534u}; (void)cs534; static const cint_site cs535 = {0u, 535u}; (void)cs535; static const cint_site cs536 = {0u, 536u}; (void)cs536; static const cint_site cs537 = {0u, 537u}; (void)cs537; static const cint_site cs538 = {0u, 538u}; (void)cs538; static const cint_site cs539 = {0u, 539u}; (void)cs539; for (int64_t z = 0; z < INT64_C(3); z++) { l0_digests[z] = 0; } t0 = INT64_C(500); t1 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs531)) goto fault; if (!ci_8_pendulum_14_run_x5Ftriplet(ctx, t0, t1, l0_digests, INT64_C(0), INT64_C(3), INT64_C(1), &t2)) goto fault; cint_rt_call_leave(ctx); l1_dist = t2; if (!cint_rt_print_begin(ctx, cs532)) goto fault; if (!cint_rt_print_bytes(ctx, "after 500 steps (5.0 seconds):\n", 31u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t3 = INT64_C(0); if (!(t3 >= 0 && t3 < INT64_C(3))) { (void)cint_index_check(ctx, cs533, "index.checked.u64", t3, INT64_C(3)); goto fault; } t4 = l0_digests[t3]; if (!cint_rt_print_begin(ctx, cs534)) goto fault; if (!cint_rt_print_bytes(ctx, "pendulum 0: digest=", 19u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t4)) goto fault; if (!cint_rt_print_bytes(ctx, "\n", 1u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t5 = INT64_C(1); if (!(t5 >= 0 && t5 < INT64_C(3))) { (void)cint_index_check(ctx, cs535, "index.checked.u64", t5, INT64_C(3)); goto fault; } t6 = l0_digests[t5]; if (!cint_rt_print_begin(ctx, cs536)) goto fault; if (!cint_rt_print_bytes(ctx, "pendulum 1: digest=", 19u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t6)) goto fault; if (!cint_rt_print_bytes(ctx, "\n", 1u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t7 = INT64_C(2); if (!(t7 >= 0 && t7 < INT64_C(3))) { (void)cint_index_check(ctx, cs537, "index.checked.u64", t7, INT64_C(3)); goto fault; } t8 = l0_digests[t7]; if (!cint_rt_print_begin(ctx, cs538)) goto fault; if (!cint_rt_print_bytes(ctx, "pendulum 2: digest=", 19u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_U64, (uint64_t)t8)) goto fault; if (!cint_rt_print_bytes(ctx, "\n", 1u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; t9 = l1_dist; if (!cint_rt_print_begin(ctx, cs539)) goto fault; if (!cint_rt_print_bytes(ctx, "divergence A to B: ", 19u)) goto fault; if (!cint_rt_print_value(ctx, CINT_TAG_I64, (uint64_t)t9)) goto fault; if (!cint_rt_print_bytes(ctx, " um\n", 4u)) goto fault; if (!cint_rt_print_end(ctx)) goto fault; return true; fault: return false; } static bool ci_8_pendulum_13_safe_x5Fisqrt(cint_ctx *ctx, int64_t v_val, int64_t *result) { int64_t t0 = 0; (void)ctx; (void)v_val; (void)result; static const cint_site cs540 = {0u, 540u}; (void)cs540; if (!cint_builtin_i64(ctx, cs540, 13u, CINT_TAG_I64, 0u, 0u, (uint64_t)v_val, 0u, 0u, &t0)) goto fault; *result = t0; return true; fault: return false; } static bool ci_8_pendulum_28_checked_x5Fkinetic_x5Fenergy(cint_ctx *ctx, int64_t v_w, int64_t *result) { int64_t t0 = 0; (void)ctx; (void)v_w; (void)result; static const cint_site cs541 = {0u, 541u}; (void)cs541; if (!cint_mul_i64(ctx, cs541, v_w, v_w, &t0)) goto fault; *result = t0; return true; fault: return false; } static bool cg_8_pendulum_tb0(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; uint64_t t4 = 0; uint64_t t5 = 0; bool t6 = false; int64_t t7 = 0; uint64_t t8 = 0; uint64_t t9 = 0; bool t10 = false; int64_t t11 = 0; uint64_t t12 = 0; uint64_t t13 = 0; bool t14 = false; uint64_t l0_digests[3] = {0}; (void)ctx; (void)l0_digests; static const cint_site cs543 = {0u, 543u}; (void)cs543; static const cint_site cs544 = {0u, 544u}; (void)cs544; static const cint_site cs545 = {0u, 545u}; (void)cs545; static const cint_site cs546 = {0u, 546u}; (void)cs546; static const cint_site cs547 = {0u, 547u}; (void)cs547; static const cint_site cs548 = {0u, 548u}; (void)cs548; static const cint_site cs549 = {0u, 549u}; (void)cs549; for (int64_t z = 0; z < INT64_C(3); z++) { l0_digests[z] = 0; } t0 = INT64_C(500); t1 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs543)) goto fault; if (!ci_8_pendulum_14_run_x5Ftriplet(ctx, t0, t1, l0_digests, INT64_C(0), INT64_C(3), INT64_C(1), &t2)) goto fault; cint_rt_call_leave(ctx); (void)t2; t3 = INT64_C(0); if (!(t3 >= 0 && t3 < INT64_C(3))) { (void)cint_index_check(ctx, cs544, "index.checked.u64", t3, INT64_C(3)); goto fault; } t4 = l0_digests[t3]; t5 = UINT64_C(14995127728425866399); t6 = t4 == t5; if (!t6 && !cint_rt_fault_assert(ctx, cs545, CINT_TAG_U64, (uint64_t)t4, (uint64_t)t5)) goto fault; t7 = INT64_C(1); if (!(t7 >= 0 && t7 < INT64_C(3))) { (void)cint_index_check(ctx, cs546, "index.checked.u64", t7, INT64_C(3)); goto fault; } t8 = l0_digests[t7]; t9 = UINT64_C(8897290559184475167); t10 = t8 == t9; if (!t10 && !cint_rt_fault_assert(ctx, cs547, CINT_TAG_U64, (uint64_t)t8, (uint64_t)t9)) goto fault; t11 = INT64_C(2); if (!(t11 >= 0 && t11 < INT64_C(3))) { (void)cint_index_check(ctx, cs548, "index.checked.u64", t11, INT64_C(3)); goto fault; } t12 = l0_digests[t11]; t13 = UINT64_C(11575834901304267551); t14 = t12 == t13; if (!t14 && !cint_rt_fault_assert(ctx, cs549, CINT_TAG_U64, (uint64_t)t12, (uint64_t)t13)) goto fault; return true; fault: return false; } static bool cg_8_pendulum_tb1(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; bool t8 = false; uint64_t l0_d_free[3] = {0}; int64_t l1_dist_free = 0; uint64_t l2_d_bound[3] = {0}; int64_t l3_dist_bound = 0; (void)ctx; (void)l0_d_free; (void)l1_dist_free; (void)l2_d_bound; (void)l3_dist_bound; static const cint_site cs551 = {0u, 551u}; (void)cs551; static const cint_site cs552 = {0u, 552u}; (void)cs552; static const cint_site cs553 = {0u, 553u}; (void)cs553; for (int64_t z = 0; z < INT64_C(3); z++) { l0_d_free[z] = 0; } t0 = INT64_C(500); t1 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs551)) goto fault; if (!ci_8_pendulum_14_run_x5Ftriplet(ctx, t0, t1, l0_d_free, INT64_C(0), INT64_C(3), INT64_C(1), &t2)) goto fault; cint_rt_call_leave(ctx); l1_dist_free = t2; for (int64_t z = 0; z < INT64_C(3); z++) { l2_d_bound[z] = 0; } t3 = INT64_C(500); t4 = INT64_C(50); if (!cint_rt_call_enter(ctx, cs552)) goto fault; if (!ci_8_pendulum_14_run_x5Ftriplet(ctx, t3, t4, l2_d_bound, INT64_C(0), INT64_C(3), INT64_C(1), &t5)) goto fault; cint_rt_call_leave(ctx); l3_dist_bound = t5; t6 = l3_dist_bound; t7 = l1_dist_free; t8 = t6 < t7; if (!t8 && !cint_rt_fault_assert(ctx, cs553, CINT_TAG_I64, (uint64_t)t6, (uint64_t)t7)) goto fault; return true; fault: return false; } static bool cg_8_pendulum_tb2(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t t3 = 0; int64_t t4 = 0; int64_t t5 = 0; int64_t t6 = 0; int64_t t7 = 0; bool t8 = false; uint64_t l0_d_free[3] = {0}; int64_t l1_dist_free = 0; uint64_t l2_d_repulse[3] = {0}; int64_t l3_dist_repulse = 0; (void)ctx; (void)l0_d_free; (void)l1_dist_free; (void)l2_d_repulse; (void)l3_dist_repulse; static const cint_site cs555 = {0u, 555u}; (void)cs555; static const cint_site cs556 = {0u, 556u}; (void)cs556; static const cint_site cs557 = {0u, 557u}; (void)cs557; for (int64_t z = 0; z < INT64_C(3); z++) { l0_d_free[z] = 0; } t0 = INT64_C(500); t1 = INT64_C(0); if (!cint_rt_call_enter(ctx, cs555)) goto fault; if (!ci_8_pendulum_14_run_x5Ftriplet(ctx, t0, t1, l0_d_free, INT64_C(0), INT64_C(3), INT64_C(1), &t2)) goto fault; cint_rt_call_leave(ctx); l1_dist_free = t2; for (int64_t z = 0; z < INT64_C(3); z++) { l2_d_repulse[z] = 0; } t3 = INT64_C(500); t4 = INT64_C(-50); if (!cint_rt_call_enter(ctx, cs556)) goto fault; if (!ci_8_pendulum_14_run_x5Ftriplet(ctx, t3, t4, l2_d_repulse, INT64_C(0), INT64_C(3), INT64_C(1), &t5)) goto fault; cint_rt_call_leave(ctx); l3_dist_repulse = t5; t6 = l3_dist_repulse; t7 = l1_dist_free; t8 = t6 > t7; if (!t8 && !cint_rt_fault_assert(ctx, cs557, CINT_TAG_I64, (uint64_t)t6, (uint64_t)t7)) goto fault; return true; fault: return false; } static bool cg_8_pendulum_tb3(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t l0_invalid_len_sq = 0; (void)ctx; (void)l0_invalid_len_sq; static const cint_site cs559 = {0u, 559u}; (void)cs559; t0 = INT64_C(-100); l0_invalid_len_sq = t0; t1 = l0_invalid_len_sq; if (!cint_rt_call_enter(ctx, cs559)) goto fault; if (!ci_8_pendulum_13_safe_x5Fisqrt(ctx, t1, &t2)) goto fault; cint_rt_call_leave(ctx); (void)t2; return true; fault: return false; } static bool cg_8_pendulum_tb4(cint_ctx *ctx) { int64_t t0 = 0; int64_t t1 = 0; int64_t t2 = 0; int64_t l0_runaway_w = 0; (void)ctx; (void)l0_runaway_w; static const cint_site cs561 = {0u, 561u}; (void)cs561; t0 = INT64_C(4000000000); l0_runaway_w = t0; t1 = l0_runaway_w; if (!cint_rt_call_enter(ctx, cs561)) goto fault; if (!ci_8_pendulum_28_checked_x5Fkinetic_x5Fenergy(ctx, t1, &t2)) goto fault; cint_rt_call_leave(ctx); (void)t2; return true; fault: return false; } static const uint32_t cg_8_pendulum_t0[4] = {CINT_TAG_I64, 2u, CINT_TAG_I64, CINT_TAG_I64}; static cint_status cg_8_pendulum_o0(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 429u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_4_load(ctx, (int64_t)cint_rt_sext(args[0], 64u), (int64_t)cint_rt_sext(args[1], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_8_pendulum_t1[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_8_pendulum_o1(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 440u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_4_read(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_8_pendulum_t2[4] = {CINT_TAG_U64, 2u, CINT_TAG_I64, CINT_TAG_U64}; static cint_status cg_8_pendulum_o2(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; uint64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 451u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_4_seed(ctx, (int64_t)cint_rt_sext(args[0], 64u), args[1], &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_8_pendulum_t3[3] = {CINT_TAG_U64, 1u, CINT_TAG_I64}; static cint_status cg_8_pendulum_o3(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; uint64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 453u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_12_digest_x5Fof(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_8_pendulum_t4[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_8_pendulum_o4(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 455u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_4_pull(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_8_pendulum_t5[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_8_pendulum_o5(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 456u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_7_advance(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_8_pendulum_t6[2] = {CINT_TAG_I64, 0u}; static cint_status cg_8_pendulum_o6(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; (void)args; st = cint_rt_entry_begin(ctx, (cint_site){0u, 459u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_6_locate(ctx, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_8_pendulum_t7[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_8_pendulum_o7(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 506u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_5_place(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } static const uint32_t cg_8_pendulum_t8[3] = {CINT_TAG_I64, 1u, CINT_TAG_I64}; static cint_status cg_8_pendulum_o8(cint_ctx *ctx, int64_t fuel, int64_t depth, const uint64_t *args, uint64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_begin(ctx, (cint_site){0u, 508u}, fuel, depth); if (st != CINT_OK) { return st; } ok = ci_8_pendulum_6_spread(ctx, (int64_t)cint_rt_sext(args[0], 64u), &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = (uint64_t)r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_4_load(cint_ctx *ctx, int64_t fuel, int64_t p_slot, int64_t p_value, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 429u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 429u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_4_load(ctx, p_slot, p_value, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_4_read(cint_ctx *ctx, int64_t fuel, int64_t p_slot, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 440u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 440u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_4_read(ctx, p_slot, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_4_seed(cint_ctx *ctx, int64_t fuel, int64_t p_p, uint64_t p_value, uint64_t *result) { cint_status st; bool ok; uint64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 451u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 451u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_4_seed(ctx, p_p, p_value, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_12_digest_x5Fof(cint_ctx *ctx, int64_t fuel, int64_t p_p, uint64_t *result) { cint_status st; bool ok; uint64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 453u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 453u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_12_digest_x5Fof(ctx, p_p, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_4_pull(cint_ctx *ctx, int64_t fuel, int64_t p_k, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 455u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 455u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_4_pull(ctx, p_k, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_7_advance(cint_ctx *ctx, int64_t fuel, int64_t p_ticks, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 456u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 456u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_7_advance(ctx, p_ticks, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_6_locate(cint_ctx *ctx, int64_t fuel, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 459u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 459u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_6_locate(ctx, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_5_place(cint_ctx *ctx, int64_t fuel, int64_t p_slot, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 506u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 506u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_5_place(ctx, p_slot, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_EXPORT cint_status cx_8_pendulum_6_spread(cint_ctx *ctx, int64_t fuel, int64_t p_p, int64_t *result) { cint_status st; bool ok; int64_t r = 0; st = cint_rt_entry_open(ctx, (cint_site){0u, 508u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } if (result == NULL) { (void)cint_rt_refuse(ctx, CINT_REFUSAL_RESULT); return cint_rt_entry_end(ctx); } if (!cint_fuel_charge(ctx, (cint_site){0u, 508u}, 1u)) { return cint_rt_entry_end(ctx); } ok = ci_8_pendulum_6_spread(ctx, p_p, &r); st = cint_rt_entry_end(ctx); if (ok && st == CINT_OK) { *result = r; } return st; } CINT_RT_INTERNAL const cint_observer_entry cg_8_pendulum_obs[9] = { {0u, 4u, "load", cg_8_pendulum_t0, cg_8_pendulum_o0}, {0u, 4u, "read", cg_8_pendulum_t1, cg_8_pendulum_o1}, {0u, 4u, "seed", cg_8_pendulum_t2, cg_8_pendulum_o2}, {0u, 9u, "digest_of", cg_8_pendulum_t3, cg_8_pendulum_o3}, {0u, 4u, "pull", cg_8_pendulum_t4, cg_8_pendulum_o4}, {0u, 7u, "advance", cg_8_pendulum_t5, cg_8_pendulum_o5}, {0u, 6u, "locate", cg_8_pendulum_t6, cg_8_pendulum_o6}, {0u, 5u, "place", cg_8_pendulum_t7, cg_8_pendulum_o7}, {0u, 6u, "spread", cg_8_pendulum_t8, cg_8_pendulum_o8}, }; static const cint_name cg_8_pendulum_xn0[2] = { {"slot", 4u, 0u}, {"value", 5u, 0u}, }; static const uint8_t cg_8_pendulum_xs0[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x14, 0x00, 0x14, 0x14, }; static const cint_name cg_8_pendulum_xn1[1] = { {"slot", 4u, 0u}, }; static const uint8_t cg_8_pendulum_xs1[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_name cg_8_pendulum_xn2[2] = { {"p", 1u, 0u}, {"value", 5u, 0u}, }; static const uint8_t cg_8_pendulum_xs2[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x14, 0x00, 0x24, 0x24, }; static const cint_name cg_8_pendulum_xn3[1] = { {"p", 1u, 0u}, }; static const uint8_t cg_8_pendulum_xs3[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x24, }; static const cint_name cg_8_pendulum_xn4[1] = { {"k", 1u, 0u}, }; static const uint8_t cg_8_pendulum_xs4[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_name cg_8_pendulum_xn5[1] = { {"ticks", 5u, 0u}, }; static const uint8_t cg_8_pendulum_xs5[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const uint8_t cg_8_pendulum_xs6[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x14, }; static const cint_name cg_8_pendulum_xn7[1] = { {"slot", 4u, 0u}, }; static const uint8_t cg_8_pendulum_xs7[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_name cg_8_pendulum_xn8[1] = { {"p", 1u, 0u}, }; static const uint8_t cg_8_pendulum_xs8[] = { 0x1d, 0x00, 0x00, 0x00, 0x63, 0x69, 0x6e, 0x74, 0x2d, 0x63, 0x6f, 0x72, 0x65, 0x2d, 0x31, 0x2f, 0x74, 0x79, 0x70, 0x65, 0x2d, 0x73, 0x69, 0x67, 0x6e, 0x61, 0x74, 0x75, 0x72, 0x65, 0x2f, 0x76, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x14, 0x14, }; static const cint_export cg_8_pendulum_exports[9] = { {{"load", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 2u, NULL, &cg_8_pendulum_xn0[0], cg_8_pendulum_xs0, (uint64_t)sizeof(cg_8_pendulum_xs0), (cint_entry_fn)cx_8_pendulum_4_load}, {{"read", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_8_pendulum_xn1[0], cg_8_pendulum_xs1, (uint64_t)sizeof(cg_8_pendulum_xs1), (cint_entry_fn)cx_8_pendulum_4_read}, {{"seed", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 2u, NULL, &cg_8_pendulum_xn2[0], cg_8_pendulum_xs2, (uint64_t)sizeof(cg_8_pendulum_xs2), (cint_entry_fn)cx_8_pendulum_4_seed}, {{"digest_of", 9u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_8_pendulum_xn3[0], cg_8_pendulum_xs3, (uint64_t)sizeof(cg_8_pendulum_xs3), (cint_entry_fn)cx_8_pendulum_12_digest_x5Fof}, {{"pull", 4u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_8_pendulum_xn4[0], cg_8_pendulum_xs4, (uint64_t)sizeof(cg_8_pendulum_xs4), (cint_entry_fn)cx_8_pendulum_4_pull}, {{"advance", 7u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_8_pendulum_xn5[0], cg_8_pendulum_xs5, (uint64_t)sizeof(cg_8_pendulum_xs5), (cint_entry_fn)cx_8_pendulum_7_advance}, {{"locate", 6u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 0u, NULL, NULL, cg_8_pendulum_xs6, (uint64_t)sizeof(cg_8_pendulum_xs6), (cint_entry_fn)cx_8_pendulum_6_locate}, {{"place", 5u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_8_pendulum_xn7[0], cg_8_pendulum_xs7, (uint64_t)sizeof(cg_8_pendulum_xs7), (cint_entry_fn)cx_8_pendulum_5_place}, {{"spread", 6u, 0u}, CINT_EXPORT_FUNCTION, CINT_PURE, 0u, 1u, NULL, &cg_8_pendulum_xn8[0], cg_8_pendulum_xs8, (uint64_t)sizeof(cg_8_pendulum_xs8), (cint_entry_fn)cx_8_pendulum_6_spread}, }; CINT_RT_INTERNAL const cint_module_table cg_8_pendulum_table = {&cm_8_pendulum, 0u, 9u, cg_8_pendulum_exports, NULL}; CINT_RT_INTERNAL cint_status cg_8_pendulum_run(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 530u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)ci_8_pendulum_4_main(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_8_pendulum_test0(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 542u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_8_pendulum_tb0(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_8_pendulum_test1(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 550u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_8_pendulum_tb1(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_8_pendulum_test2(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 554u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_8_pendulum_tb2(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_8_pendulum_test3(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 558u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_8_pendulum_tb3(ctx); return cint_rt_entry_end(ctx); } CINT_RT_INTERNAL cint_status cg_8_pendulum_test4(cint_ctx *ctx, int64_t fuel) { cint_status st = cint_rt_entry_begin(ctx, (cint_site){0u, 560u}, fuel, CINT_DEPTH_FROM_CONFIG); if (st != CINT_OK) { return st; } (void)cg_8_pendulum_tb4(ctx); return cint_rt_entry_end(ctx); }