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  #- |44 ] Tarskis_Geometry:threads=2elapsed=56.422cpu=95.376gc=3.504factor=1.697zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z lhfC+)KIeMG8 [zI8YlXU6ϥR49QӋ>jg׎^'?mjBMle|~<4qp ,;We#r M1-Y%ǣI$u4OfOvs݄?w*fZCyOS{S*Dl Cfdh֋xaKf=@@vrה4l26sTwaɠ:`NJ\'CۢԓnpQY0x ?y!L9/jB;FK+-4I Fx@HwI<6:ۄMWL>68\ùQ}2>ÐT iFu_:|ۥ/'meNϥ"5hÀE6<~+K:ESyiN#Ou*kJ>q;weOu/;3hz' Js$^ɡh|4`EqurXngC0BK&?z@0Z0 5_ a1(4cS:8E1 OWJ!/ TE?ĄFvZE'=2NmƄpc.@*I)E8P Vh׽ \3iun*.ܻ(8?% 3%?Ȋp}bID2#Tl%`;* - Tarskis_Geometry`[UYj AügYZ7zXZִF! IS]ŗXiɟMr^&%HiI6$ wĄVy_!2Ԉ|%af H"9)MM>1<0JL% dHzY$ж$??~4!rZ;5Ԣ-nM>IzS!}ε㗑 pmiW14Сu'{̽1!*M!wxq*0q9#ú9YY/Q!s`R\_痬ik9RҚ ۴^? wA@[*I]tfΕ}DJq0qdIgYZ7zXZִF! $ S]ŗXi%90øX+…eNsΩʱ&H,3ρW=Q+kVK:C|= g'Id .5—wCċإF)Nh}W9%KAs &m7k̨f/QkVvkfC jG$EޢUxb/*:/Z5}Zdz,7L&|e%/)%E-@É#P;]$!h`# o1s#hmc/Ŏx>L.562)qU%RtoTJYxqexc~dtQ,) keZPo@32}ԛ/Y:rϫ@?43YJiZho5<>P"hk;(JƪPE ;X A,Q[T ;N' %Fp c΋1LX^mQ 3Ba&qWvfH13 ?=}~_&)*xW6=m/beFuЊ ~@;@V%g˘2}!$󊤍5`_vAu~څxUcOfwGzƧX2׷A7"*ΜA]43 J =[Rn9+:GCFtnleOL̖/$ .Pƽo8lãlQ #S٧C jT&R"sr7bMvHh83#2X"0j/ФSV8@{;J,,-} z[9WLo:lQSh_AjX&WUbm kH{Ղs>;#+nKUdYKufEv" 0^{do͓G^x3A'^cDjHkS64Z.-DqҤC6ejK(#)2{M^ iE/2>PBQ1*͚gnS mϢ9t^F&42%17@7﮾m02{koLp;qw\:lgFP5NtZ_L@`(Li6*%t7 ~&$bTu1au5ܢ`oZ/Ir&H{y]95+xr / .76 oQ9_4K`uT*N e`gO{8{7CZ b&nȂ,n`gvl͊5W]IŢ5S 2\]ORf?*&:w0q!GZ\gXNOH2|g أe6Vj`Cw Ŋ\pP _tѪdm+HrZx,+:TNcy)t /#(; /F&Mqӓ#m,W,+WFFuv`qİT`k"濝;GH5u ^\tt_(bEr+ 42_|g)z?RjA :XC&,V hE{2W!Pr  8 SѭOj9 t<`̌>G4L&F\'V2gUed̛/(qM.KS9#AnK~jE< l~xqdAaT˪j~=, }-_АJM^m#1eDUDTaԑ=;[-͖u^KE3F]*ܢ;zAC(փ  14*U;LDltS~RPfVrԹo.1a|KK^_DA%JG:"/U\22O\pg/hvoF9->`C\;-tΒ[HC-`(oY|RClW~e^F<<*tߌWub$ؿ"̚n"NŊ_Ê*3 w4F$9c=SL19,˗a0!93-́.TtZL0Zbȟl}zJ3O ׎`؁6rY_A2gE} U 'B;r !^nMjBN1\&"y$IU N^`-h{7ט;0[/;$/(K1O[Z6oȌ) SnT.kw:>#M<t֚y<6O^$|C1^=zlkt$8;KN j%L, aˑ~0.c*9K-:`Pf2IM T[4uqFŸ˲%4jf0ϔo'}vD5}Ű>eB _`γX){4eJ dx~9Z{O, y$JT#^8q`di#`4CE~:X]αgYZf32cba917be287224c0cb5d0c90cb27054724917ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 e80462241ac3de8d4540cd4173ab1f28a290f55c