SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 <1 L| ]/ Robbins-Conjecture:threads=2elapsed=12.570cpu=19.340gc=0.368factor=1.547zXZִF! w]ŗXf1-/6vR[Opc2 DvcfǏq%^ [B v>Tl|mQIѢ_Ư : jŵ?3s"^J]#aa9;f[+EbR, afĢzd]G2:vgA~ꏤytЧ<+̻&{8ԍn9_0pΦIC#YB/>rET3UK+5u_M1WvXMm7/"G ȼ(߬BOYPA)h.`x, gYZ7zXZִF! YK]ŗXiɟ{}cCs/7~f+#cխ߅)DpÜqA{D|7vwSf [n^gZ}YZ7zXZִF! K(v]ŗXi%92M!G=/C#UȞWhYZ*}-^<,Lvb5w ֞Li 34G\n{3/8HROUqV?7rEZ[HDTwee8^n >5s9_s;ip< Z))Lm9S0|_ ׉V ?'~!0gCBtKakkYϕl>1 Tp/}g?G@\1Ξ~9=o|gWx]z񸓳'ͮsϊx2.@'~U] 3UfŔL2x(22iI?@& -^?'y't@;!_k2ة .:R5dӲXG 3}\/_k}avsRd*([ _P/!Vv~˻dZ7x&jQ|~G|`RT[ GfIHp՜ VZPJ0\E`0{Z7'=o٤EM( b \Ce'Ƚ@%˓tQ~QӐ{]&i|ol,Pɞ.[K:f4(fz:zh FcSO\<hvyjx榥I'fg-%Hk'&F^¥ PBH6L+6G{Iqȁ/oyȹgt yzHe5%xh%CTj_b +ݻ_nwHz{8.rm~'{$ xC>F0,0