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  # < L ]S]KAT_and_DRA:threads=2elapsed=40.630cpu=75.532gc=3.216factor=1.867zXZִF! 3]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# NB 7¡lRF%3b~tRA$|2J g35$aOT\z?ui/.㦶R0LŊ/ܯ(4*QWJ8/cK+((֢Q)Xw&]Vt~@ l3<(HV0;HR@ӐԌ P-jA+_$T.,2Lc 'O}K?Y$·EUF% ?sן ^pO%'L֪^ # KAT_and_DRAec40_MWE(5<ʂ Q`xy5rצ X)[^y}/WWuHh?1a6 X6 I1Sa 0` A]5LC@~-CqK#nnry0k/žg>< IQ|\xL :#D7xs4siGieV@],O2jD]DJD8ևՂm gp誱gYZ7zXZִF! ]ŗXiɟ풂z6Z𭉞7dK-3÷*5F ޓ=+Ͷ2)Ŏs;O5OJYż'40A Q&(δ7Hb8b,EzĄAO nyIg"D)5Mxk{΅XӖ(w!q|=_MHE {e@ sB7%HXfw蝼mC 9{"3DS{Z24ךgYZ7zXZִF! J ]]ŗXi%9(PA5|a(W܌qMOީTB+ߜkzwvJ*4}2rSذ T/= 8ܱ*_CsfN ש;~/XL/ dZ`7W?2q\ C~lUf` wfj0/>GLf2  nߜəB),gdu…kMۗ2 wĆ=H׵0f3k4&+̢w!nh/Xh/A}pV8/ak?"`12tmD~7~oc.P.IwA_6NxR^8'o?vY6di8-L'$<xpG=xUfJ2ܟ+,qAAMUf6fv푆 ^Jp\1<Yd yh(ʃ^Wm\H? LtFr jS$ev*(_Qn$J^ҜMZ3ArF/#/0þV9}Xej&b?>y<}Bdɯu:EFg؞?єa*%{5h$vPPJߟȠ@ڂy@⫛Έ?vH_T9kJ%%0'a4ډ$]2Es*Y IYթPu8yjܷ+p% !r;dǦלZs{yT/- c>jtCkЇηd=jDסx։Of5eӠccm%/W4#tE~ݸg;?xV;kfut4i^O kȳSoFU('Y@d݈ų-EX(6,rd{OVo^Pv;U5ԥEt{%R=kp>Skvd>ޮasi1_ohCTq[_ZDB} Vn1^-?BtM2͸ZoWY;@IAo3t(Djx$+Bjw7W:rۨS옒>G'2hzeY^'&蛮~Cť'hS@A̛D}j X"7f?Q8aDnVzsW* S%'$ZIIS_o޼H [613u`1} bro2ob ?AYet1JO0췦2ޱ}ҭ .G<BعKU:tf2RI&( x/)7(0Kuj8qΒ➋fEM=_'MS,O5NqG ycvmx#OSŋ%~|ӗw2{Acuێ>6R0ΙgbZ1I3ˌnugYZ59df7ad10eb51b7713db600ff5d17af9d1703241620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 bb40205b498794476d38b0362dbda37d779495b9 5f340e3d381b8d80da48176afd25f3448ef808c36eb3080164105fa6db72b42e65cfa6df49f35430