1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
|
λ x x0 : word64 * word64 * word64 * word64,
Interp-η
(λ var : Syntax.base_type → Type,
λ '(x8, x9, x7, x5, (x14, x15, x13, x11))%core,
uint64_t x17, uint64_t x18 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x11);
uint64_t x20, uint64_t x21 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x13);
uint64_t x23, uint64_t x24 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x15);
uint64_t x26, uint64_t x27 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x14);
uint64_t x29, uint64_t x30 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x17);
uint64_t x32, uint64_t x33 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x30, Return x18, Return x20);
uint64_t x35, uint64_t x36 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x33, Return x21, Return x23);
uint64_t x38, uint64_t x39 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x26, Const 18446744073709551616 * x27);
uint64_t x41, uint64_t x42 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x24, Return x38);
uint64_t x43 = x39 + x42;
uint64_t x45, uint64_t x46 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x36, Return x41);
uint128_t x47 = (uint128_t) x43 + x46;
uint64_t x49, uint64_t x50 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x29);
uint64_t x52, uint64_t x53 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x50, 0x0, Return x32);
uint64_t x55, uint64_t x56 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x53, 0x0, Return x35);
uint64_t x58, uint64_t x59 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x56, 0x0, Return x45);
uint64_t x61, uint64_t x62 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x59, 0x0, Return x47);
uint64_t x64, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x49, 0x1);
uint64_t x67, uint64_t x68 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0xffffffffffffffffL);
uint64_t x70, uint64_t x71 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, Const 4294967295);
uint64_t x73, uint64_t x74 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0x0);
uint64_t x76, uint64_t x77 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, Const 18446744069414584321);
uint64_t x79, uint64_t x80 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0x0);
uint64_t x82, uint64_t x83 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x67);
uint64_t x85, uint64_t x86 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x83, Return x68, Return x70);
uint64_t x88, uint64_t x89 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x86, Return x71, Return x73);
uint64_t x91, uint64_t x92 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x89, Return x74, Return x76);
uint64_t x94, uint64_t x95 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x79, (uint64_t) (Const 18446744073709551616) * x80);
uint64_t x97, uint64_t x98 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x77, Return x94);
uint64_t x99 = x95 + x98;
uint64_t x101, uint64_t x102 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x92, Return x97);
uint64_t x103 = x99 + x102;
uint64_t _, uint64_t x106 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x49, Return x82);
uint64_t x108, uint64_t x109 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x106, Return x52, Return x85);
uint64_t x111, uint64_t x112 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x109, Return x55, Return x88);
uint64_t x114, uint64_t x115 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x112, Return x58, Return x91);
uint64_t x117, uint64_t x118 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x115, Return x61, Return x101);
uint64_t x120, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x118, Return x62, Return x103);
uint64_t x123, uint64_t x124 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x11);
uint64_t x126, uint64_t x127 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x13);
uint64_t x129, uint64_t x130 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x15);
uint64_t x132, uint64_t x133 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x14);
uint64_t x135, uint64_t x136 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x123);
uint64_t x138, uint64_t x139 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x136, Return x124, Return x126);
uint64_t x141, uint64_t x142 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x139, Return x127, Return x129);
uint64_t x144, uint64_t x145 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x132, Const 18446744073709551616 * x133);
uint64_t x147, uint64_t x148 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x130, Return x144);
uint64_t x149 = x145 + x148;
uint64_t x151, uint64_t x152 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x142, Return x147);
uint128_t x153 = (uint128_t) x149 + x152;
uint64_t x155, uint64_t x156 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x108, Return x135);
uint64_t x158, uint64_t x159 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x156, Return x111, Return x138);
uint64_t x161, uint64_t x162 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x159, Return x114, Return x141);
uint64_t x164, uint64_t x165 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x162, Return x117, Return x151);
uint64_t x167, uint64_t x168 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x165, Return x120, Return x153);
uint64_t x170, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x155, 0x1);
uint64_t x173, uint64_t x174 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0xffffffffffffffffL);
uint64_t x176, uint64_t x177 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, Const 4294967295);
uint64_t x179, uint64_t x180 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0x0);
uint64_t x182, uint64_t x183 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, Const 18446744069414584321);
uint64_t x185, uint64_t x186 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0x0);
uint64_t x188, uint64_t x189 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x173);
uint64_t x191, uint64_t x192 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x189, Return x174, Return x176);
uint64_t x194, uint64_t x195 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x192, Return x177, Return x179);
uint64_t x197, uint64_t x198 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x195, Return x180, Return x182);
uint64_t x200, uint64_t x201 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x185, (uint64_t) (Const 18446744073709551616) * x186);
uint64_t x203, uint64_t x204 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x183, Return x200);
uint64_t x205 = x201 + x204;
uint64_t x207, uint64_t x208 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x198, Return x203);
uint64_t x209 = x205 + x208;
uint64_t _, uint64_t x212 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x155, Return x188);
uint64_t x214, uint64_t x215 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x212, Return x158, Return x191);
uint64_t x217, uint64_t x218 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x215, Return x161, Return x194);
uint64_t x220, uint64_t x221 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x218, Return x164, Return x197);
uint64_t x223, uint64_t x224 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x221, Return x167, Return x207);
uint64_t x226, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x224, Return x168, Return x209);
uint64_t x229, uint64_t x230 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x11);
uint64_t x232, uint64_t x233 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x13);
uint64_t x235, uint64_t x236 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x15);
uint64_t x238, uint64_t x239 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x14);
uint64_t x241, uint64_t x242 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x229);
uint64_t x244, uint64_t x245 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x242, Return x230, Return x232);
uint64_t x247, uint64_t x248 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x245, Return x233, Return x235);
uint64_t x250, uint64_t x251 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x238, Const 18446744073709551616 * x239);
uint64_t x253, uint64_t x254 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x236, Return x250);
uint64_t x255 = x251 + x254;
uint64_t x257, uint64_t x258 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x248, Return x253);
uint128_t x259 = (uint128_t) x255 + x258;
uint64_t x261, uint64_t x262 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x214, Return x241);
uint64_t x264, uint64_t x265 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x262, Return x217, Return x244);
uint64_t x267, uint64_t x268 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x265, Return x220, Return x247);
uint64_t x270, uint64_t x271 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x268, Return x223, Return x257);
uint64_t x273, uint64_t x274 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x271, Return x226, Return x259);
uint64_t x276, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x261, 0x1);
uint64_t x279, uint64_t x280 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0xffffffffffffffffL);
uint64_t x282, uint64_t x283 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, Const 4294967295);
uint64_t x285, uint64_t x286 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0x0);
uint64_t x288, uint64_t x289 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, Const 18446744069414584321);
uint64_t x291, uint64_t x292 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0x0);
uint64_t x294, uint64_t x295 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x279);
uint64_t x297, uint64_t x298 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x295, Return x280, Return x282);
uint64_t x300, uint64_t x301 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x298, Return x283, Return x285);
uint64_t x303, uint64_t x304 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x301, Return x286, Return x288);
uint64_t x306, uint64_t x307 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x291, (uint64_t) (Const 18446744073709551616) * x292);
uint64_t x309, uint64_t x310 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x289, Return x306);
uint64_t x311 = x307 + x310;
uint64_t x313, uint64_t x314 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x304, Return x309);
uint64_t x315 = x311 + x314;
uint64_t _, uint64_t x318 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x261, Return x294);
uint64_t x320, uint64_t x321 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x318, Return x264, Return x297);
uint64_t x323, uint64_t x324 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x321, Return x267, Return x300);
uint64_t x326, uint64_t x327 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x324, Return x270, Return x303);
uint64_t x329, uint64_t x330 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x327, Return x273, Return x313);
uint64_t x332, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x330, Return x274, Return x315);
uint64_t x335, uint64_t x336 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x11);
uint64_t x338, uint64_t x339 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x13);
uint64_t x341, uint64_t x342 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x15);
uint64_t x344, uint64_t x345 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x14);
uint64_t x347, uint64_t x348 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x335);
uint64_t x350, uint64_t x351 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x348, Return x336, Return x338);
uint64_t x353, uint64_t x354 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x351, Return x339, Return x341);
uint64_t x356, uint64_t x357 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x344, Const 18446744073709551616 * x345);
uint64_t x359, uint64_t x360 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x342, Return x356);
uint64_t x361 = x357 + x360;
uint64_t x363, uint64_t x364 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x354, Return x359);
uint128_t x365 = (uint128_t) x361 + x364;
uint64_t x367, uint64_t x368 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x320, Return x347);
uint64_t x370, uint64_t x371 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x368, Return x323, Return x350);
uint64_t x373, uint64_t x374 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x371, Return x326, Return x353);
uint64_t x376, uint64_t x377 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x374, Return x329, Return x363);
uint64_t x379, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x377, Return x332, Return x365);
uint64_t x382, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x367, 0x1);
uint64_t x385, uint64_t x386 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0xffffffffffffffffL);
uint64_t x388, uint64_t x389 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, Const 4294967295);
uint64_t x391, uint64_t x392 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0x0);
uint64_t x394, uint64_t x395 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, Const 18446744069414584321);
uint64_t x397, uint64_t x398 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0x0);
uint64_t x400, uint64_t x401 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x385);
uint64_t x403, uint64_t x404 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x401, Return x386, Return x388);
uint64_t x406, uint64_t x407 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x404, Return x389, Return x391);
uint64_t x409, uint64_t x410 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x407, Return x392, Return x394);
uint64_t x412, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x397, (uint64_t) (Const 18446744073709551616) * x398);
uint64_t x415, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x395, Return x412);
uint64_t x418, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x410, Return x415);
uint64_t _, uint64_t x422 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x367, Return x400);
uint64_t x424, uint64_t x425 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x422, Return x370, Return x403);
uint64_t x427, uint64_t x428 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x425, Return x373, Return x406);
uint64_t x430, uint64_t x431 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x428, Return x376, Return x409);
uint64_t x433, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x431, Return x379, Return x418);
(Return x433, Return x430, Return x427, Return x424))
(x, x0)%core
: word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t)
|
