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 n \4 ] XML:threads=2elapsed=19.137cpu=28.064gc=1.984factor=1.477zXZִF! 5]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R sݥ8f`o2Qfl[sS?>I,V3 `a,;̰êuh/POXYjW+GwRaUY7D7EѲ5ttf<Vau7jbx>1Q.ÖOU4A_u'XXv^B!x XMEd+ *qN}[\sȤe -öۢR*D3K֒ڴa`vhoK5xy+p-xn/&Rf>Bj"2:#P^NE uT:?l4ܬ%~^*! ^wwN :}JҤWZlE;anWgZ93o#bT}T V#sI>~QLIX-KЧ^qTdpXwGwiԭ}s;WY ׿CN ˼e_<% sMΓ`jjKj*A1=$3^-}Z7Qb9WA1-L,A/} e ML#撟.;0P[uY47^ e,`_0ݳCȱgYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uGf,uEٙKo&j#i-ė}soCNw:.~\ANCC}t*VtCxbXp#I$+PѧC;*wMz NS hwjij#yd8Q=)1VCs#PU9҃JRƦŰ8Wɞ4mħ%98DQd +6 B6l4^SAd[t y@q1?Kj>K~]_LZ˱gYZ7zXZִF! d<]ŗXi%;Ÿte$HN߂!!IJ:P) Ƭ*%,T kc]&wyhesa;UQiOĖ-3=%S,Zm%AnDFL>lꡭddyד?ǹ#ڼx'L(-</xM2Zd}! w1Rpn(5+l-?Ym$gA1󩪶xDFVǎ33Cbn>ٖ8-r.H̀LzWIHcC;ESpn/4uË>=FZbýuSChtf.)%8Ȧ"/)+Ȉ6nUڷ.B·1qExs._5@Я?3 }?>!5u+ǠK3P-vO6{4MMt.ܞsXSٵwL06WL;YaQ7! t˦B0fLHb'P) W>6LSz ES (cF 6Q﷘}T7QToHF/ef(~ǭsm\$mqʗ7rzw'fJA°{~H'1wUٕ[hd롅ooY kyoQx)m 7OEM'ҿ-ᶺ>[MR;HL#T1hdPWc BJ<'E)kuEҿ2[^]+tYER 7gxGH]Tι%?S;y\Nq5#xYni{~"Ĕ w¹6"1+S=fKW"~WÆM-PƯYxn폦DӔDY͞vE@ tZmvHWHLc}h.i֠`HIu03*D)"yM#Լ!u: Xq1z)ߴ(TI ef,(~GPuڳɍ@*0Oe/Lh 0Z&)Qh%|71AY7lQdYP~W :<(S%0|%;hq;};ja-W#?My2Gc %(UAgYZ454b45131e39dfdb8c2b79665f57b1033b59a8db79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48  XML