PAR1>L(/` ; pj4+B2v׹:OrNǹ8{nͷ6[jNͧ4;f̗2ObṄ0^w.ZNg,VW*ORNG({N7&[JN'$;F"OBN >x:Np6׸Oh2NǸ`{.ŷX[*NŧP;&ėOH"Nć@w8Ng 0W O(NG {7[ N';ONNoKyr9o' y޼n7oayּj5o'͋Ayμf3oK!yƼb1o' ~y^/onyZ-o'ˋ^yV+oKNyR)o' >yN'oa.yJ%o'ɋAyF#oK!yB!o' x~>oxv:o'Njxn6oKxf2o' x^.oaxV*o'ŋAxN&oK!xF"o' ~x>onx6 o'Ë^x. oKNx& o' >xoa.x o'AxoK!xo' ?$@dA%B 5CE$DUdEeFuG $H$dI(J,K0$L4dM8N B!hf|p@檁,Q VWjPs mغh[U._0qqW1 #Q;\W2̄Q(eXG"iu]PeLRBC+ߌu9+̛.pjI{%%O3MIBaς.Y5b]0ũ~AƻoM5] }kB"t",*+ g‡%d>jR,wyYmO"îE|\"qMEipH>Bc6ĚWbqxR6\B{!Ej7| E ?% Vs $1X&#$VLZĘ~G<+XRV} iVFJi$%Uro#Ԑ51'",,eF&aLr :0d"c:kRYf ܼ-"X2=s1xct#~R`RaZKkqémFyr`ra^)FT rb]G"I8Ž^Q_OrFZ nGh]IO=^XlPS@酝f:Or$g!:-RGECpC%b?BhS}&?Bı)Mm"$sҩRiTgm\Bd]҆d ~x{lBQvp',a^K&Z-MZfC2_)-s J#q#s'8cr9?7#/,iXZd2ǀo 0i3KtRys X3R=ٌkSi_jTtp%#ᛙYL3}8QJ̓<-U)UkpZ.CI6ɇZ>v.F9C"iξn;$_{Wa<4mbB9T*C;ZML@CK~`:`\\Ch7 [!`?&#krFxs  .B*/rWR1c"%/Oi e+ɫV9RqW45m A0@#l #սqOXv1mҦKa~ nZ0Jwͣ-IjHK/. wCѐLA.c06* p1%΋ [+UXV oPF.:S>z')>cG UB_=KmsR(i/Llc(БR6BwĺuU(caOGHaPZ2YjZv+KSAz;0 .m%w:x!W+T9~يKu]9J6$q6/IYp%ȣt*e}wz_&JQnynP7yWsi>V1U|=k6#Od8`[GV+>U~g(VޘGkzn$Ꜽ;C8WJ9VAm$% :g,&]y %׉xiU\$gw A g$+h.BƮopUܫ}tClaD2ғ$8a⹆N5R2=88inJ4\;\in ,VjIT Q'T,2JKJԳrbbt_w&xRx 'P@d?-_@x[twV0.hvJzՆa4lL2A c` $cmj\Nq\MOMr hxtgN !,_;XŸoCdV(m>*>o-;}wEqk} MH.hC7b@(KTB:DXeaj{)8$A #7ךvr[̀TbI%Q)hj@ƕ0/$a$L07BL\lR<wS%XaYаhD JH?ڞ`<>(-UJHIk>zN vq;t!P{VeW3!@Fjad:oxfXu't µXzd0<.TV1 sh]HG]k&Z@Z4 J`S#l3ysN1A7i!otҲ )mTWO#j#1RKvDR&FQ?OA2հܑ{ /ƌiU42*8 s@DnRt^J=TgRڐ}5>eyM6҇ <(DL@Tm{/ukIH@!WSpWKPi`n8wx[]m 9jjWXC)d:4dn,6hcyS }( [.W4魁 1 ~J{vs6X=bt]2E󏥇[9%O-oCK,3{WcHy7}&f?}bH6X+Pܽis`r:OYm`ũK&JBF/I,sILlTG%z6)cYE?ѸAH ]$޹%;sViu䃥gpxh¢~kRJ:F]@btEnY \Qy!^3/TiEvU0I+R( w)M4Ng2L*QgaG|O47b\>eUı&HnߖDԪ]'A#0&b~ޗ9+ɍ[{c' &yQJd-s 6d`_$D7[SO]eptyh l{&{ՆMlh2B)OltRN;#+s{beED%}ܥG,k3U'RQ7xrpvez#"\B,|RRVy`RCB.HE;۰k?_ډSMضZ4 @5[<eQ%kNMD (7qBROmwkQ y 18NI";PxJl[St#8cd"@#wH|g`88dx3),\g 31uHn@E4xP* SRn7/ݕh)[c-Sm"ejd,SRtDrZ&:m0:?VSibF:ոPw9+@Yf/}5J} c]L.U$6lW~=>ZyE=q}DBbEk+SY^E I0SR)yV+bC0zNhmǨKΤ0P~R.TY##+M"9B=0@1^f*z{,s"GlzF=]]E1ζ7sj a顢%4)*67 ^=y[X:#6WT.rq(S5]섶7๦ѠCpy !Pa%S' $>Ԕ-tE.d;K2d!Ӳ'y^O Jy2[-p'* CqJ!uGr}n`#$Ҥ$(/n'س gj ^G]"7B_:!+f3i%7Ӣ GEZ8d9HŋxzGڰya 9/j v2~ %Th)gq2geHj^dHYlK ,mo n*&݆0)|Y3uWv2;\,kfg[gmGt8CG; F$^(Xejegq{C\ZK j[Rg(F YI =j4^yB OrRDՃUG>  U TH@j+W7 LJ-owi N0#Eބ@ch.$Qvt)zK3 Ƥ,e?VI++SyDusn(d!'-][}lDeHH_Uy&r~<>lN"Ee_{D^j6wHzG A >jb}9Qؗ0joL:j~> oEmj +,5`WR'PZ}`\Pr~j,J/CrRծoM4z_ ==fᅃ{&滲 TvK]  |K @Lp037zI `H&Oˠz0mAғt;6#=";ȶ OT2~KAX|L w;-]!]\WJzh(۱:)n^pj]^z}lR:,T>PkmB 4`KW <v8/KH78VJ<$՗lERAea> g( 43k%GvhW:: P]%0f:i՟8#C3%8 ܋0&m1#"OGY,1EڣUXT[uz%޲j-MjBN$e;&(In0DecRe>̀Nde#VP;L'ficTDTg( BIK6oMgF%6y~|L܅u] lӟ/xx!veAKmS:;մVxR?^Xb^M^53ۅKS?1t-Ho9؈( =(_l?VG2D b ۺb`kxx "Am?2lU E#uLt⤥CL⻊uid. DkPoq"TÇ0~H8@VS2@/9`k;ރUnlsNs5׹Qo\tAx ~4|e k(%Ҝ\dU9$M+0®.S}e[l RT{krf|\.O 9TfCUUVG;Ba߮YЉtn1bG`Θ)*W1(]TC?ߘ1ab HfK(cސ%QL [)R>RxvOJ%w%Q_ c6lytѭCLp1~%MZ|b Osz_;.I,B)Ol3ys(B)Ol3ys(/`a'  `$ 4D T`dt $` ( , 0 4` 8<@!DaH$L4PD!TTaXd\t`!dahlp!tax|" b!$"4#D"$Tb%d&t'"(b)*+",b-./#0c1$243D#4Tc5d6t7#8c9褣:;#?$@dA%B 5CE$DUdEeFuG $H$dI(J,K0$L4dM8N'<+K [h N\Pw-}fpO!q+(ʸ]$\+fʴ VImtU0[l q`G G;vn"wcN kB4Z+7>q>!23pEJda2?W-@ge%3+8%<-HY kzmiyMÀdH0Cm fad+>Wtw{3L2&=qgvq6DfT CL )aw%v \kN?|=I+47 F#pTy$p#4@6WTVLR8訦,(c`#$-J'stenu1K3ea}b+;[x5WA HcNs, /@js=k9=戛 (c̏+Btc &%v:Lj (5B,[agkw9EcUl a:IE#Q^Q$@b"cH0>۲:t~Xj=ʝ"6Dd[\R1S}E[3]k+`_l`ցcg ;j.4mP}#8&Y+=Q4a&i½xNu)OA5 9c5K;0 M!BnP4 xQ#߅]8m.>Y&MPl!,3CK'';Lzr'kj1I VV*G?Mv|}+`bx0AH$CI5 ݶ9GKN[,H 7i±KHSPc86EOZ8M]{r5fv܇nZ0uHX.S 8~;! M\~pjM~vyPV[}4p^ E&BJ$Z|Nڬu#5jA8qTޱQ WU Ţ1#y3ϋ/4X~l7eqW/%קQ9 +p腄Xs3+׻nŚ)\y'+ jp*tD`U[-YRwEִZºfGw~ IPS&^5?z[}{{[Uj]xRU7II-\.7. hq5M\j P45caoU'1O%Tأ0=0i]/;o *}ĮhV=L|xB=8MR;ûa[TmjDST:jX=dA-=zq5[)3S0gOsœi.eXTuw\Lޏb2nBΣFza!9! = tU?NЅOoALb9n礚PO`_^|eӱ8pA˥h^C\{\gm[cu>}79!ÝWB¡3]`-:ŐtD&Yr/bw4`2?^r҂c,G6gŋ cVֳ t,D)Μ|n@T{ijn-z.r2x U dv8c.|;E-pankCk3C:#2lw{-np`JGMesw sVz U"ьInBѩ*GҴT&0)ylQVEi" F*\2Ĭż// r-F;}yUgVO )5]72onמ͇lzi'ۉD;[gqC1  \|` T$CRֲ|P;;^L7}~5lR1bxwty}i ]Ko}rR:6h_0l64<9v3*V* FHL>cZx iP2'xuS\Re¼`jљWAY R6>d^zy@2wc|˟JCG1<}3kh{nR) j=D DS*[BL1dr'uRkK@~btzpefL׷RBH6zDBBc~vkJ.ȇsVw6o@ZTBK7^%CEkO:yk'lN/mڙYn7_}8B,Z1%Ę.wsHwtCہX2F*ɇ\5 zZfV{%uѸgi(4mW?x.@p쀠E(lK))sMy]kjB^]jD7KЩJtx!QL)b_Fn,I}/FK#}Hf|"I{KW9q>VpېHbL }b:xi#y8V.-F q? ..TZ|]J/%)/=8^.* N[@:dIb{}9%=hKTC"XD#N}L y͍)w3U Poz^R!] 79 9=豤A4*S;-Tܲ1hR5Ld`Oy\Dep!%;.3%ɟhm-X Ox|F Is+[8Q$Ehp^Zs=TC:r{QxZG|xpJ` %2HN-RCeڔ%o+x}tDIq.uQK@]W I=.€Ml yfp;5koMn^9kb]5=Y:/5T6u۝lU;[)KR;zb/yb ? !;*)xsVbԩ5haU0q5 mCA=:BLm|Z9HPOz7DaA$GՃoN`u' 9yV܈iTkaHG VRCQq+u[&tCw3|_K s"\T#>i2}_ֈ<gόΩT:p6T&rב{sAu q<|n 1 fL*v?9vZ;d8D,Wp6V[ zD2~,e2siN![bYuI(7Hpneϻ:,?}qG0]T:PVG G0_{p]dV/z\G k2P3Hd]1J y %)taJ6, R(MGlH|8qLV,kx x##qm\^Sجv ynA*iQmkͫfDA< x-+x\MEe8TJh3FQ Hi]}Λ"l/! +kDL;U!H r$E:jfAgԮXpS2C?Z9f_K7c0 d((=j4Q8qXVr|m^O-LPZ$%g]"] "(hIluV0LEFvci $;z)$v#69;؁XjRðm+%iv-Ig*UgQ!+NBl~Rd3(K+ cGyyaOa'?>a(|†˜#9Κ@Br6WD-f֎oVt&g"PR+~) @w8ϬT}.nɢ0b>z@* Wola]cm`E"DP|o258IC4iBN|N>::\SNw.?#/DŴq?a$볧kWmVN֜KA;@ þs?=sq2 +&\g]kog 8Ia~ׇi>ƕ("Ö_ &d#T{ץخ>rKP'8!znypho\+Rl kZY(.⷇ECC ~rA/(oe;4в{*~-m眱u0/RVg)<`y'_%Y2w+E=2Mb;kҘ\ #Y05`Jܶ,=ܺаI&G)zdoXV@nAM`2'(-S!>|He@!"PŖs;XH)rJu;V\o0P6þ—~Jf w,RŜG̳lK^kMpo,*MX3PcsckPL:SZӍu')$sLav8qQt;DHa)HTwT.J G))z)O|NW&7'G(i{ile㳲],Վwy(gyq}Z|pX!2*T\9/YGV;Vhh G:p9R1 z$j71FJuCevȾ{1Um ww SE]blɶ̖ 7"7eoBՇq>Ȓ1'^ F*ٳE͌*Mfr Pgȸ(Uo1T \.&cxmUfŭ m լ"%LmjDqo92/oy6(vIx -Jlnëb-ehz6{vedvhÐWCDCOAOl\4rR|oYj}c2}WUrřw^Pucqz7W+PD--;yWLLg}e mML <4*:3 7@h^4Uڱ w,}tYZDCz'- ˒n8XMΗR1AuQQ-nQcB*Oա<|t9U_Nh`;4M.ؚ9ľ'}c@b$XCSkcexŜjn>1XF8xrp^ߵ iK!U,UrA󐓃0MwDPLpt u;[D*m70[mb*f&; y% WG|C HyS`ut-@zlߠ^ oe}"prk"r7R7mt{gƛV]62*Ʌ'7^H8"4g[!ް( ] rXbk${Ю=&*-ñ%Hv5Dk* dz9K*fY?w+,}'I^,X]\6]S`d}EK5]n]85>qr'…omՋF !Y?K,>$M\qOT,*V*oe(*V*oe(/`a'  `$ 4D T`dt $` ( , 0 4` 8<@!DaH$L4PD!TTaXd\t`!dahlp!tax|" b!$"4#D"$Tb%d&t'"(b)*+",b-./#0c1$243D#4Tc5d6t7#8c9褣:;#?$@dA%B 5CE$DUdEeFuG $H$dI(J,K0$L4dM8Nlg,T%N5S~c6,nnTUDIq*qlȏ~V nE{dZAhT%Jg* ~Y<2* ,yFg*"Mtջ۹ Zyqm2qT'%&ʳa;0#~2/- 9wCy1\Cpd,2aY`%$#E"0Nx8i|@GFh\Ϫ[Gg<BKY]XJn9~ˁ-eQHRL4̵d;]*Fb:H*f+n,%H'㚀 }È[qUR0&Nr+R7chʷi|͋dU|i^If9 3_kYҴ `H/puBCH[Q@o0aN H,:Ӕ\%ȱ,[aKz ĥ&wŸ,^A F9;2b<q)Ķf#h dx>( hj,((/`a'  `$ 4D  @\AlA|B"@B &B *B .C 20C4` 8</CQG K0фO@SPAVqYh]xa0!cLAFfilEpq1uqy} "HR! "[,H#<$H2 %`%I&Ap҉'4|J(B ƒ)PJ*J+w ,J",b-䢋&gK/L0L4!dDSI1*QL2,#38#3@4PS55< 4d 3CxA7Qx 8#8CAN9會N:MNӎ;>O?BA#J@ DPAs HB aB 5CEDQT pFbd2hёGMH"53I<@PCPQFTA$M(SM9ST TUFlHTPU1TeWuUVZM<W}ktW`̈Xd SY'VZ7Z V'o%\s%K]b]_ՀZy{IL|>5 `$`(AXah\DJ)b{5%1&FKEc8XCM O5d1E%NUf@ ig1gAeKPuhVTJ5YL/XCYs &Ck: Z3LIZO~lvՂifsFdoo\p#MV;q#3Aqvpf\2!PNE%rE sΝ&e<'9E0'HG/oL !Q7Iu`bLq(\WBYh}40X<Č69Z)Miw'avܡtw@xOxexxsx@^y˼biJ VTzäXaE BgQ2Q|2_D_}eMG* }E~QFVX4*iKORA-8:r&:MD6HopفOn#J -){ċ3_@0%*EGˈ~f5"F kD5b߳D~L*5l+}U5ߚ}FDsH[执osI,j<4e|`@k, #-^JGPW <"Pﻦ,K,%(K!%.̯ZkqH&շKkDr@FeIfcmCWm Rw_)_372 H n4e,S2tbr~7$E*ѩےB w3Bk"}M: v_2b/>mhJ ~`%T3Ko`H|*@laБER2G#7 o2@[P`C+)j'X`w,SCw Es KW߲2rbyā~_4>e ~{_"l<`d_3|8@"}K.ijA(ba}˔wHk'ׂ- viMZP7V_k$oH/Oq[!PsB꫖޷+;N߶6mZ5JMX}HOÿD(dtkրoe/q (/drZ1be%sR6& ":.[@WlSIm陼CYB/R0#. fH;1/?@c6Gw_3Pp4.a=i] AX0Vߥ(Tͯ Ez_^8_-`׬̈/bF9H _B3}$=GYXULwbA */ڔ7ugtK O˷쭊/Y'7 Vٟ >p~B0}Cl0MP{]^8෋C^)*sW_/=|pF7𻤓R)L}uqN7h5Bf@be`­"ˆd_&-TeGf!+EoGQmĶ7}0ʐMÞ3@*#S/r1k'@Q}<4MHʋ~׬Q@[E/3_Biih0.$ ]i@Wmj 﫦T׬P/ k־p=z@'hrr&dHCa Z'Nq`N%)Y3=*JoDS߇I$ mq4(B z@.~_fiEDހ~]IB%VMmy` 6oۛ;>> %9ʯE 0hbOʉt `@(7~3%Q~UZ{tEqRERרwiY3*ryU"f" Y`51}jLr/B#o4Y}XMP1ܗ :o>v߲*0 qOo ?4р ٨nMF qL/:x_rd#(6@~a>]}`{E:B _\_R~3=A2]Hҕb ibUBDĉ# ^!m̯-s_ =dcϼ/Y(OFFVKNrca yJw9ŕ4z^0(+XE$K7 "[?]Ы5XtV=;EC OVJ,"Qa[ׁے/He,@JcoNWFƑ{Y4 ~9D@Y߱ }[&K/;&p2p$Fb},Y~dmk6DҞW3 YRWw_B2z GNu_X28C@Xo0|a[fs$hI ?fVFL"Ig-,)~-A^!'EoRT-߳O8BD|T TE]D:5GAq ~p['/ ECIKzÐ/oQF/ daX_x#_."PvD4!é껵& l_ I[Xq[TfCфDe^H8g`á %``f07){m zܪ]d[8c!&`dNo #`qX-# ֗bI#"sHuW7 vHEy0ukӼ7 >R}H$-@akD<1 [@_N跸 Ҟ[0CFWD0y0bKg So0upD9~th"Rvh[Auj /DwX䭪lZ a!!룓7'w jVpƠP_S#;U.W@fY"Qv۠G tk3#` @-~f^{-h=t ?,h$B3{ެ~ܴУvj@l"0llѼyyo>:fx ֬8ow4`ۊ7x=qhq݃bjo073V4X'A>'Є52}Φȅx<:^Ͷlos%.mvi\/6ōIiT, }r/?]@ox3L%s𣍫@T[s8t_A65ugF( ,kqon@@G9@(kqon@@G9@(/`a'  `$ 4D T`dt $` ( , 0 4` 8<@!DaH$L4PD!TTaXd\t`!dahlp!tax|" b!$"4#D"$Tb%d&t'"(b)*+",b-./#0c1$243D#4Tc5d6t7#8c9褣:;#?$@dA%B 5CE$DUdEeFuG $H$dI(J,K0$L4dM8Nq-AsIaP<3c(,6(Pdev:claude/memcomputing-a100-sop-ed6077@7e44c5c3154dd03faeed2bb1107ae67828d31cbaPdev:claude/memcomputing-a100-sop-ed6077@7e44c5c3154dd03faeed2bb1107ae67828d31cba(/ Y0L(/ y 2.5.1+cu124(,6( 2.5.1+cu124 2.5.1+cu124(/ Y<NL(/ NVIDIA GeForce RTX 2080 Ti(,6(NVIDIA GeForce RTX 2080 TiNVIDIA GeForce RTX 2080 Ti(/ Y"L(/ Az$)I@(,z$)I@z$)I@(z$)I@z$)I@(/ Y"L(/ A@s(,@s@s(@s@s(/ Y&5schemaJ%gid% instance_seed% init_seed% tts_steps%censored% final_unsat%solution_verified %tts_time%schema_version %campaign%L % config_hash%L %shard_id%L% shard_index%n_vars% n_clauses %ratio %p0 % integrator%L %dt% max_steps %alpha %beta %gamma %delta %epsilon %zeta % noise_gamma % rigidity_tie%L %dtype%L %xs_dist%L %git_sha%L %image%L % code_source%L % torch_version%L %gpu_name%L % wall_seconds%instance_steps%&5gid S2&&(,<)&&5 instance_seed &&2B)Ol3ys(B)Ol3ys,<)&&5 init_seed &&*V*oe(*V*oe,<)&&5 tts_steps V#&&(,<)&&%censored x&<(<)&&5 final_unsat &&(,<)&&%solution_verified x&<(<)&& 5tts_time p&&kqon@@G9@(kqon@@G9@,<)&&5schema_version &&(,<)&& 5campaign &&6( m1tol_8cap m1tol_8cap,<&& 5 config_hash &&6(a5fcb0e39b250a4ea5fcb0e39b250a4e,<&& 5shard_id &&6( N006000-b00 N006000-b00,<&&5 shard_index &&(,<)&&5n_vars &&pp(pp,<)&&5 n_clauses &&(,<)&& 5ratio &&@@(@@,<)&& 5p0 &&{Gz?{Gz?({Gz?{Gz?,<)&& 5 integrator &&6(adaptive_euleradaptive_euler,<&& 5dt &Ɓ&??(??,<)&&5 max_steps &&(,<)&& 5alpha &&Ԅ@@(@@,<)&& 5beta &&4@4@(4@4@,<)&& 5gamma &ވ&??(??,<)&& 5delta &Ċ&??(??,<)&& 5epsilon &&MbP?MbP?(MbP?MbP?,<)&& 5zeta &&ҍ??(??,<)&& 5 noise_gamma &&Q?Q?(Q?Q?,<)&& 5 rigidity_tie &ڑ&6(allall,<.&& 5dtype &&ƒ6(float32float32,<m&& 5xs_dist &Ȕ&6(clauseclause,<]&& 5git_sha &Ɩ&6((7e44c5c3154dd03faeed2bb1107ae67828d31cba(7e44c5c3154dd03faeed2bb1107ae67828d31cba,<&& 5image &&Ƙ6(gpugpu,<.&& 5 code_source &&6(Pdev:claude/memcomputing-a100-sop-ed6077@7e44c5c3154dd03faeed2bb1107ae67828d31cbaPdev:claude/memcomputing-a100-sop-ed6077@7e44c5c3154dd03faeed2bb1107ae67828d31cba,< && 5 torch_version &&ޞ6( 2.5.1+cu124 2.5.1+cu124,<&& 5gpu_name &&6(NVIDIA GeForce RTX 2080 TiNVIDIA GeForce RTX 2080 Ti,<&& 5 wall_seconds &&z$)I@z$)I@(z$)I@z$)I@,<)&&5instance_steps &&Τ@s@s(@s@s,<)&&,pandas"{"index_columns": [], "column_indexes": [], "columns": [{"name": "gid", "field_name": "gid", "pandas_type": "int32", "numpy_type": "int32", "metadata": null}, {"name": "instance_seed", "field_name": "instance_seed", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "init_seed", "field_name": "init_seed", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "tts_steps", "field_name": "tts_steps", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "censored", "field_name": "censored", "pandas_type": "bool", "numpy_type": "bool", "metadata": null}, {"name": "final_unsat", "field_name": "final_unsat", "pandas_type": "int32", "numpy_type": "int32", "metadata": null}, {"name": "solution_verified", "field_name": "solution_verified", "pandas_type": "bool", "numpy_type": "bool", "metadata": null}, {"name": "tts_time", "field_name": "tts_time", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "schema_version", "field_name": "schema_version", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "campaign", "field_name": "campaign", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "config_hash", "field_name": "config_hash", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "shard_id", "field_name": "shard_id", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "shard_index", "field_name": "shard_index", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "n_vars", "field_name": "n_vars", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "n_clauses", "field_name": "n_clauses", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "ratio", "field_name": "ratio", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "p0", "field_name": "p0", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "integrator", "field_name": "integrator", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "dt", "field_name": "dt", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "max_steps", "field_name": "max_steps", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}, {"name": "alpha", "field_name": "alpha", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "beta", "field_name": "beta", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "gamma", "field_name": "gamma", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "delta", "field_name": "delta", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "epsilon", "field_name": "epsilon", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "zeta", "field_name": "zeta", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "noise_gamma", "field_name": "noise_gamma", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "rigidity_tie", "field_name": "rigidity_tie", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "dtype", "field_name": "dtype", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "xs_dist", "field_name": "xs_dist", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "git_sha", "field_name": "git_sha", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "image", "field_name": "image", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "code_source", "field_name": "code_source", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "torch_version", "field_name": "torch_version", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "gpu_name", "field_name": "gpu_name", "pandas_type": "object", "numpy_type": "str", "metadata": null}, {"name": "wall_seconds", "field_name": "wall_seconds", "pandas_type": "float64", "numpy_type": "float64", "metadata": null}, {"name": "instance_steps", "field_name": "instance_steps", "pandas_type": "int64", "numpy_type": "int64", "metadata": null}], "attributes": {}, "creator": {"library": "pyarrow", "version": "25.0.1"}, "pandas_version": "3.0.5"} ARROW:schemaB/////wAZAAAQAAAAAAAKAA4ABgAFAAgACgAAAAABBAAQAAAAAAAKAAwAAAAEAAgACgAAAGARAAAEAAAAAQAAAAwAAAAIAAwABAAIAAgAAAA4EQAABAAAACoRAAB7ImluZGV4X2NvbHVtbnMiOiBbXSwgImNvbHVtbl9pbmRleGVzIjogW10sICJjb2x1bW5zIjogW3sibmFtZSI6ICJnaWQiLCAiZmllbGRfbmFtZSI6ICJnaWQiLCAicGFuZGFzX3R5cGUiOiAiaW50MzIiLCAibnVtcHlfdHlwZSI6ICJpbnQzMiIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiaW5zdGFuY2Vfc2VlZCIsICJmaWVsZF9uYW1lIjogImluc3RhbmNlX3NlZWQiLCAicGFuZGFzX3R5cGUiOiAiaW50NjQiLCAibnVtcHlfdHlwZSI6ICJpbnQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiaW5pdF9zZWVkIiwgImZpZWxkX25hbWUiOiAiaW5pdF9zZWVkIiwgInBhbmRhc190eXBlIjogImludDY0IiwgIm51bXB5X3R5cGUiOiAiaW50NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInR0c19zdGVwcyIsICJmaWVsZF9uYW1lIjogInR0c19zdGVwcyIsICJwYW5kYXNfdHlwZSI6ICJpbnQ2NCIsICJudW1weV90eXBlIjogImludDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJjZW5zb3JlZCIsICJmaWVsZF9uYW1lIjogImNlbnNvcmVkIiwgInBhbmRhc190eXBlIjogImJvb2wiLCAibnVtcHlfdHlwZSI6ICJib29sIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJmaW5hbF91bnNhdCIsICJmaWVsZF9uYW1lIjogImZpbmFsX3Vuc2F0IiwgInBhbmRhc190eXBlIjogImludDMyIiwgIm51bXB5X3R5cGUiOiAiaW50MzIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInNvbHV0aW9uX3ZlcmlmaWVkIiwgImZpZWxkX25hbWUiOiAic29sdXRpb25fdmVyaWZpZWQiLCAicGFuZGFzX3R5cGUiOiAiYm9vbCIsICJudW1weV90eXBlIjogImJvb2wiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInR0c190aW1lIiwgImZpZWxkX25hbWUiOiAidHRzX3RpbWUiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInNjaGVtYV92ZXJzaW9uIiwgImZpZWxkX25hbWUiOiAic2NoZW1hX3ZlcnNpb24iLCAicGFuZGFzX3R5cGUiOiAiaW50NjQiLCAibnVtcHlfdHlwZSI6ICJpbnQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiY2FtcGFpZ24iLCAiZmllbGRfbmFtZSI6ICJjYW1wYWlnbiIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImNvbmZpZ19oYXNoIiwgImZpZWxkX25hbWUiOiAiY29uZmlnX2hhc2giLCAicGFuZGFzX3R5cGUiOiAib2JqZWN0IiwgIm51bXB5X3R5cGUiOiAic3RyIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJzaGFyZF9pZCIsICJmaWVsZF9uYW1lIjogInNoYXJkX2lkIiwgInBhbmRhc190eXBlIjogIm9iamVjdCIsICJudW1weV90eXBlIjogInN0ciIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAic2hhcmRfaW5kZXgiLCAiZmllbGRfbmFtZSI6ICJzaGFyZF9pbmRleCIsICJwYW5kYXNfdHlwZSI6ICJpbnQ2NCIsICJudW1weV90eXBlIjogImludDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJuX3ZhcnMiLCAiZmllbGRfbmFtZSI6ICJuX3ZhcnMiLCAicGFuZGFzX3R5cGUiOiAiaW50NjQiLCAibnVtcHlfdHlwZSI6ICJpbnQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAibl9jbGF1c2VzIiwgImZpZWxkX25hbWUiOiAibl9jbGF1c2VzIiwgInBhbmRhc190eXBlIjogImludDY0IiwgIm51bXB5X3R5cGUiOiAiaW50NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInJhdGlvIiwgImZpZWxkX25hbWUiOiAicmF0aW8iLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInAwIiwgImZpZWxkX25hbWUiOiAicDAiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImludGVncmF0b3IiLCAiZmllbGRfbmFtZSI6ICJpbnRlZ3JhdG9yIiwgInBhbmRhc190eXBlIjogIm9iamVjdCIsICJudW1weV90eXBlIjogInN0ciIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiZHQiLCAiZmllbGRfbmFtZSI6ICJkdCIsICJwYW5kYXNfdHlwZSI6ICJmbG9hdDY0IiwgIm51bXB5X3R5cGUiOiAiZmxvYXQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAibWF4X3N0ZXBzIiwgImZpZWxkX25hbWUiOiAibWF4X3N0ZXBzIiwgInBhbmRhc190eXBlIjogImludDY0IiwgIm51bXB5X3R5cGUiOiAiaW50NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImFscGhhIiwgImZpZWxkX25hbWUiOiAiYWxwaGEiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImJldGEiLCAiZmllbGRfbmFtZSI6ICJiZXRhIiwgInBhbmRhc190eXBlIjogImZsb2F0NjQiLCAibnVtcHlfdHlwZSI6ICJmbG9hdDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJnYW1tYSIsICJmaWVsZF9uYW1lIjogImdhbW1hIiwgInBhbmRhc190eXBlIjogImZsb2F0NjQiLCAibnVtcHlfdHlwZSI6ICJmbG9hdDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJkZWx0YSIsICJmaWVsZF9uYW1lIjogImRlbHRhIiwgInBhbmRhc190eXBlIjogImZsb2F0NjQiLCAibnVtcHlfdHlwZSI6ICJmbG9hdDY0IiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJlcHNpbG9uIiwgImZpZWxkX25hbWUiOiAiZXBzaWxvbiIsICJwYW5kYXNfdHlwZSI6ICJmbG9hdDY0IiwgIm51bXB5X3R5cGUiOiAiZmxvYXQ2NCIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiemV0YSIsICJmaWVsZF9uYW1lIjogInpldGEiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogIm5vaXNlX2dhbW1hIiwgImZpZWxkX25hbWUiOiAibm9pc2VfZ2FtbWEiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogInJpZ2lkaXR5X3RpZSIsICJmaWVsZF9uYW1lIjogInJpZ2lkaXR5X3RpZSIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImR0eXBlIiwgImZpZWxkX25hbWUiOiAiZHR5cGUiLCAicGFuZGFzX3R5cGUiOiAib2JqZWN0IiwgIm51bXB5X3R5cGUiOiAic3RyIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJ4c19kaXN0IiwgImZpZWxkX25hbWUiOiAieHNfZGlzdCIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImdpdF9zaGEiLCAiZmllbGRfbmFtZSI6ICJnaXRfc2hhIiwgInBhbmRhc190eXBlIjogIm9iamVjdCIsICJudW1weV90eXBlIjogInN0ciIsICJtZXRhZGF0YSI6IG51bGx9LCB7Im5hbWUiOiAiaW1hZ2UiLCAiZmllbGRfbmFtZSI6ICJpbWFnZSIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImNvZGVfc291cmNlIiwgImZpZWxkX25hbWUiOiAiY29kZV9zb3VyY2UiLCAicGFuZGFzX3R5cGUiOiAib2JqZWN0IiwgIm51bXB5X3R5cGUiOiAic3RyIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJ0b3JjaF92ZXJzaW9uIiwgImZpZWxkX25hbWUiOiAidG9yY2hfdmVyc2lvbiIsICJwYW5kYXNfdHlwZSI6ICJvYmplY3QiLCAibnVtcHlfdHlwZSI6ICJzdHIiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImdwdV9uYW1lIiwgImZpZWxkX25hbWUiOiAiZ3B1X25hbWUiLCAicGFuZGFzX3R5cGUiOiAib2JqZWN0IiwgIm51bXB5X3R5cGUiOiAic3RyIiwgIm1ldGFkYXRhIjogbnVsbH0sIHsibmFtZSI6ICJ3YWxsX3NlY29uZHMiLCAiZmllbGRfbmFtZSI6ICJ3YWxsX3NlY29uZHMiLCAicGFuZGFzX3R5cGUiOiAiZmxvYXQ2NCIsICJudW1weV90eXBlIjogImZsb2F0NjQiLCAibWV0YWRhdGEiOiBudWxsfSwgeyJuYW1lIjogImluc3RhbmNlX3N0ZXBzIiwgImZpZWxkX25hbWUiOiAiaW5zdGFuY2Vfc3RlcHMiLCAicGFuZGFzX3R5cGUiOiAiaW50NjQiLCAibnVtcHlfdHlwZSI6ICJpbnQ2NCIsICJtZXRhZGF0YSI6IG51bGx9XSwgImF0dHJpYnV0ZXMiOiB7fSwgImNyZWF0b3IiOiB7ImxpYnJhcnkiOiAicHlhcnJvdyIsICJ2ZXJzaW9uIjogIjI1LjAuMSJ9LCAicGFuZGFzX3ZlcnNpb24iOiAiMy4wLjUifQAABgAAAHBhbmRhcwAAJQAAADwHAADwBgAAuAYAAIAGAABMBgAAFAYAANwFAACkBQAAaAUAADgFAAAIBQAA2AQAAKAEAABsBAAANAQAAAQEAADYAwAAqAMAAHwDAABEAwAAFAMAAOQCAAC0AgAAhAIAAFQCAAAkAgAA8AEAALwBAACQAQAAZAEAADgBAAAMAQAA3AAAAKgAAAB4AAAAQAAAAAQAAABo+f//AAABAhAAAAAgAAAABAAAAAAAAAAOAAAAaW5zdGFuY2Vfc3RlcHMAAGT5//8AAAABQAAAAKD5//8AAAEDEAAAACAAAAAEAAAAAAAAAAwAAAB3YWxsX3NlY29uZHMAAAAAEvv//wAAAgDU+f//AAABFBAAAAAcAAAABAAAAAAAAAAIAAAAZ3B1X25hbWUAAAAApPr//wD6//8AAAEUEAAAACAAAAAEAAAAAAAAAA0AAAB0b3JjaF92ZXJzaW9uAAAA1Pr//zD6//8AAAEUEAAAABwAAAAEAAAAAAAAAAsAAABjb2RlX3NvdXJjZQAA+///XPr//wAAARQQAAAAGAAAAAQAAAAAAAAABQAAAGltYWdlAAAAKPv//4T6//8AAAEUEAAAABgAAAAEAAAAAAAAAAcAAABnaXRfc2hhAFD7//+s+v//AAABFBAAAAAYAAAABAAAAAAAAAAHAAAAeHNfZGlzdAB4+///1Pr//wAAARQQAAAAGAAAAAQAAAAAAAAABQAAAGR0eXBlAAAAoPv///z6//8AAAEUEAAAACAAAAAEAAAAAAAAAAwAAAByaWdpZGl0eV90aWUAAAAA0Pv//yz7//8AAAEDEAAAABwAAAAEAAAAAAAAAAsAAABub2lzZV9nYW1tYQCa/P//AAACAFz7//8AAAEDEAAAABgAAAAEAAAAAAAAAAQAAAB6ZXRhAAAAAMb8//8AAAIAiPv//wAAAQMQAAAAGAAAAAQAAAAAAAAABwAAAGVwc2lsb24A8vz//wAAAgC0+///AAABAxAAAAAYAAAABAAAAAAAAAAFAAAAZGVsdGEAAAAe/f//AAACAOD7//8AAAEDEAAAABgAAAAEAAAAAAAAAAUAAABnYW1tYQAAAEr9//8AAAIADPz//wAAAQMQAAAAGAAAAAQAAAAAAAAABAAAAGJldGEAAAAAdv3//wAAAgA4/P//AAABAxAAAAAYAAAABAAAAAAAAAAFAAAAYWxwaGEAAACi/f//AAACAGT8//8AAAECEAAAABwAAAAEAAAAAAAAAAkAAABtYXhfc3RlcHMAAABc/P//AAAAAUAAAACY/P//AAABAxAAAAAUAAAABAAAAAAAAAACAAAAZHQAAP79//8AAAIAwPz//wAAARQQAAAAHAAAAAQAAAAAAAAACgAAAGludGVncmF0b3IAAJD9///s/P//AAABAxAAAAAUAAAABAAAAAAAAAACAAAAcDAAAFL+//8AAAIAFP3//wAAAQMQAAAAGAAAAAQAAAAAAAAABQAAAHJhdGlvAAAAfv7//wAAAgBA/f//AAABAhAAAAAcAAAABAAAAAAAAAAJAAAAbl9jbGF1c2VzAAAAOP3//wAAAAFAAAAAdP3//wAAAQIQAAAAGAAAAAQAAAAAAAAABgAAAG5fdmFycwAAaP3//wAAAAFAAAAApP3//wAAAQIQAAAAHAAAAAQAAAAAAAAACwAAAHNoYXJkX2luZGV4AJz9//8AAAABQAAAANj9//8AAAEUEAAAABwAAAAEAAAAAAAAAAgAAABzaGFyZF9pZAAAAACo/v//BP7//wAAARQQAAAAHAAAAAQAAAAAAAAACwAAAGNvbmZpZ19oYXNoANT+//8w/v//AAABFBAAAAAcAAAABAAAAAAAAAAIAAAAY2FtcGFpZ24AAAAAAP///1z+//8AAAECEAAAACAAAAAEAAAAAAAAAA4AAABzY2hlbWFfdmVyc2lvbgAAWP7//wAAAAFAAAAAlP7//wAAAQMQAAAAIAAAAAQAAAAAAAAACAAAAHR0c190aW1lAAAGAAgABgAGAAAAAAACAMj+//8AAAEGEAAAACQAAAAEAAAAAAAAABEAAABzb2x1dGlvbl92ZXJpZmllZAAAAKD////8/v//AAABAhAAAAAcAAAABAAAAAAAAAALAAAAZmluYWxfdW5zYXQA9P7//wAAAAEgAAAAMP///wAAAQYQAAAAIAAAAAQAAAAAAAAACAAAAGNlbnNvcmVkAAAAAAQABAAEAAAAYP///wAAAQIQAAAAHAAAAAQAAAAAAAAACQAAAHR0c19zdGVwcwAAAFj///8AAAABQAAAAJT///8AAAECEAAAABwAAAAEAAAAAAAAAAkAAABpbml0X3NlZWQAAACM////AAAAAUAAAADI////AAABAhAAAAAgAAAABAAAAAAAAAANAAAAaW5zdGFuY2Vfc2VlZAAAAMT///8AAAABQAAAABAAFAAIAAYABwAMAAAAEAAQAAAAAAABAhAAAAAcAAAABAAAAAAAAAADAAAAZ2lkAAgADAAIAAcACAAAAAAAAAEgAAAA parquet-cpp-arrow version 25.0.1%FPAR1