blob: 114f714f340294634de4d9a8fb24a38573eb0519 (plain)

ofs	hex dump	ascii
0000	84 95 a6 be 00 00 00 78 00 00 00 00 00 00 00 b3 00 00 00 b2 a0 a0 a0 28 70 75 72 65 5f 73 6f 73	.......x...............(pure_sos
0020	40 a0 a0 b2 90 a0 90 40 40 40 b2 90 a0 91 40 40 40 90 a0 40 40 43 a0 a0 b2 90 a0 91 40 40 40 b2	@......@@@....@@@..@@C......@@@.
0040	90 a0 90 40 40 40 90 a0 40 40 43 a0 a0 b2 b2 90 a0 91 40 40 40 90 a0 91 40 40 40 a1 40 b2 90 a0	...@@@..@@C.......@@@...@@@.@...
0060	90 91 40 40 40 90 a0 40 40 40 a0 a0 a1 40 b2 b2 90 a0 91 40 40 40 90 a0 91 40 40 40 b2 90 a0 90	..@@@..@@@...@.....@@@...@@@....
0080	91 40 40 40 90 a0 91 40 40 43 40 40 84 95 a6 be 00 00 00 86 00 00 00 00 00 00 00 b8 00 00 00 b5	.@@@...@@C@@....................
00a0	a0 a0 a0 35 72 65 61 6c 5f 6e 6f 6e 6c 69 6e 65 61 72 5f 70 72 6f 76 65 72 90 43 a0 a0 b2 90 a0	...5real_nonlinear_prover.C.....
00c0	90 40 40 40 b2 90 a0 91 40 40 40 90 a0 40 40 43 a0 a0 b2 90 a0 91 40 40 40 b2 90 a0 90 40 40 40	.@@@....@@@..@@C......@@@....@@@
00e0	90 a0 40 40 43 a0 a0 b2 b2 90 a0 91 40 40 40 90 a0 91 40 40 40 a1 40 b2 90 a0 90 91 40 40 40 90	..@@C.......@@@...@@@.@.....@@@.
0100	a0 40 40 40 a0 a0 a1 40 b2 b2 90 a0 91 40 40 40 90 a0 91 40 40 40 b2 90 a0 90 91 40 40 40 90 a0	.@@@...@.....@@@...@@@.....@@@..
0120	91 40 40 43 40 40 84 95 a6 be 00 00 00 2d 00 00 00 00 00 00 00 3d 00 00 00 3c a0 a0 a0 28 70 75	.@@C@@.......-.......=...<...(pu
0140	72 65 5f 73 6f 73 40 a0 a0 b2 90 a0 90 40 40 40 90 a0 91 40 40 43 a0 a0 b2 90 a0 91 40 40 91 40	re_sos@......@@@...@@C......@@.@
0160	90 a0 40 40 43 40 40 84 95 a6 be 00 00 00 3b 00 00 00 00 00 00 00 42 00 00 00 3f a0 a0 a0 35 72	..@@C@@.......;.......B...?...5r
0180	65 61 6c 5f 6e 6f 6e 6c 69 6e 65 61 72 5f 70 72 6f 76 65 72 90 42 a0 a0 b2 90 a0 90 40 40 40 90	eal_nonlinear_prover.B......@@@.
01a0	a0 91 40 40 43 a0 a0 b2 90 a0 91 40 40 91 40 90 a0 40 40 43 40 40 84 95 a6 be 00 00 00 e2 00 00	..@@C......@@.@..@@C@@..........
01c0	00 00 00 00 00 db 00 00 00 d6 a0 a0 a0 35 72 65 61 6c 5f 6e 6f 6e 6c 69 6e 65 61 72 5f 70 72 6f	.............5real_nonlinear_pro
01e0	76 65 72 90 43 a0 a0 b2 90 a0 90 40 40 40 90 a0 91 40 40 43 a0 a0 b2 90 a0 91 40 40 91 40 90 a0	ver.C......@@@...@@C......@@.@..
0200	40 40 43 40 90 a9 95 90 41 a9 aa 95 90 41 aa 95 92 b0 a0 41 12 5f 6e 61 74 00 00 00 00 01 00 00	@@C@....A....A.....A._nat.......
0220	00 01 a0 41 12 5f 6e 61 74 00 00 00 00 01 00 00 00 03 41 96 94 a0 96 a0 90 90 00 fe 91 22 78 31	...A._nat.........A.........."x1
0240	90 90 41 a9 aa aa 91 41 95 90 41 aa 95 92 b0 a0 41 12 5f 6e 61 74 00 00 00 00 02 00 00 00 04 00	..A....A..A.....A._nat..........
0260	00 00 00 a0 41 12 5f 6e 61 74 00 00 00 00 01 00 00 00 03 41 96 90 90 41 aa aa 91 40 95 90 41 aa	....A._nat.........A...A...@..A.
0280	95 92 b0 a0 41 12 5f 6e 61 74 00 00 00 00 02 00 00 00 04 00 00 00 00 a0 41 12 5f 6e 61 74 00 00	....A._nat..............A._nat..
02a0	00 00 01 00 00 00 03 41 96 90 90 41 84 95 a6 be 00 00 01 4e 00 00 00 00 00 00 01 e3 00 00 01 e2	.......A...A.......N............
02c0	a0 a0 a0 28 70 75 72 65 5f 73 6f 73 40 a0 a0 b2 b2 b2 a1 40 b2 90 a0 91 40 40 91 40 90 a0 40 40	...(pure_sos@......@....@@.@..@@
02e0	91 40 b2 b2 90 a0 91 91 40 40 91 40 90 a0 90 91 40 40 91 40 90 a0 40 40 91 40 b2 b2 b2 90 a0 91	.@......@@.@....@@.@..@@.@......
0300	40 40 91 40 90 a0 90 91 40 40 91 40 90 a0 90 90 40 40 91 40 90 a0 91 40 40 91 40 b2 90 a0 91 40	@@.@....@@.@....@@.@...@@.@....@
0320	40 91 40 90 a0 91 40 40 42 40 90 a9 92 40 aa 95 92 b0 a0 41 12 5f 6e 61 74 00 00 00 00 01 00 00	@.@...@@B@...@.....A._nat.......
0340	00 01 a0 41 12 5f 6e 61 74 00 00 00 00 01 00 00 00 04 41 a9 aa 95 90 41 96 94 a0 96 a0 90 90 42	...A._nat.........A....A.......B
0360	96 a0 98 a0 91 22 78 31 43 91 22 78 32 94 a0 96 a0 91 22 78 31 98 a0 91 22 78 32 43 96 a0 90 90	....."x1C."x2....."x1..."x2C....
0380	00 fd 96 a0 91 22 78 31 91 22 78 32 a9 aa 95 90 44 96 94 a0 96 a0 98 a0 91 22 78 31 42 98 a0 91	....."x1."x2....D........"x1B...
03a0	22 78 32 42 90 90 00 ff a9 aa 95 90 44 96 94 a0 96 a0 98 a0 91 22 78 31 42 91 22 78 32 96 a0 90	"x2B........D........"x1B."x2...
03c0	90 00 ff 91 22 78 32 a9 aa 95 90 43 96 94 a0 96 a0 91 22 78 31 98 a0 91 22 78 32 43 96 a0 90 90	...."x2....C......"x1..."x2C....
03e0	00 ff 96 a0 91 22 78 31 91 22 78 32 a9 aa 95 90 44 96 94 a0 96 a0 91 22 78 31 98 a0 91 22 78 32	....."x1."x2....D......"x1..."x2
0400	42 96 a0 90 90 00 ff 91 22 78 31 95 90 40	B......."x1..@