SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info X1 l / Robbins-Conjecture:threads=2elapsed=14.544cpu=20.380gc=0.280factor=1.407zXZִF! 9]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{S)IEMQ*gHAA8RD} 8{Ƕ]2e#$-̇wE4=v `K_"IHP˭;1pʠ Nț):SVb6ud3؇$Bg-Cx)Xś/] 3 @9FpIx3PhC8y 6fߪzZO3^'!\,;^w.bam>wrn_SKߪx!;o2j=&Q$V$WRKy+=r2i;t/[y x;F}cyb9| |l MQA`z_ZU_m 5 1 Robbins-Conjecture*&MB`3 YǎK:Ջ4vo~62#}=!1,%G*j F 10ٟiP;G5 Cbpۓػџ,0}mу_?@LjT@&p{&MCxksdt|PmBΌuь9 =4P}--/`phD. {VekP wfs}OO$d˲;*BA /ּS3,r(_9MŃUoP(r<^T $E FGdbl.~ܐ 9=:EϙD4BbY~ &*P^S+lei Pq(KaF~ONJ./sĢ:@K/Kf԰y`{s]J_c]?zQ42~t?`nD+:ʿiuI[Mr;cUAZa5BU!4.$ (s)vgYZ7zXZִF! O]ŗXi%m]m۲lkE/Mö+$ @8987ʬ.y^ĄtJD9~?5ͩ 4ªfȆۑRڧwdak +ZB8);Ebc/dU"c.fFAީBt+&#c1T!+&%)1Z. ~FXEGceɱ<"F х`ޜMMQ1n_^@L<.r1;uzm /IBt%YPEe=6,->VF[U&|R(VOOа۪q+.wj:z'?9L؃ъKxt6SR/kzJ6ɺ*! GKô㝐]I͖o]\ڀ;.&HI}&SǪUb…)LPQ@aU/+4rzusUDkĴJ6] вcb*ۗ FvG)\&Zt̅c:B,OSF+?_=|cyEֳ^],^:e=m& s[|C1DcuN~4 ؽ76>ñ*sV\琧(ThxJFcC8d׹8|KJlZb?@L#\pyjnh*$Q4@em.d܈";a}_/{)4aؠDs63_,}?"i:ihF W="X)$HX P 9]NJpۍq1kˎRfMdՏѺK "h8Q|Գ(P,d̀0zA*YޏE}*Q(IO(jI[CU*nА\7G]_Wl3cl 8L}Ih`,. i @[.XS~}k'83ky(ʸ !iSSULu_lmvvzqG CDfe0n#>J2.  jgYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 bca2941f32693f001cc92de19a8245825e8bd49bb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d