SQLite format 3@ .  YYQ77Atableisabelle_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, "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  c c)L I/]Stone_Algebras:threads=2elapsed=68.317cpu=107.592gc=3.484factor=1.577zXZִF! @]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTŭdڧ49RT5zr vM> _'E< wmT\]!A y+a%r L5 ?ꈱy: xU$(s[";T])NLꉥ*NgL [PkAI#Īu~م]2?dj灃FyPh5{"2\e.$g-6F Tk6/.3Uψjک7Ŭ(}MO3Б9GW%w|<rXBîgN2nˏϜ>Fp@SXn盀87@G$|HZPZp< PB)^%ƙ$J< ER5^Iwdq`]p]7nЕBl:S&XVJ' Ԙ#, e8LAcp%g.mddp8dٍoZ_t͔2A7PgWbBLfֵDX 1";vLgk미2O(baj>%N%OܤЂc1͎ d[l{P &&Δ**Ըa1:ݾrKԇJ!{$zJJǫ9_+߰AUa"qM E#b MVbښLqۇ |P{V5i24E/&(c.]Q^COTyV-#)r'2lvn &"(]I?|S8_mQ(Bt?Ųƾ$)+%\;<(ؔʔG,u'=2 X=thQ_,yB29P~#'͝Y79|1.c0s[)e8]Kyj] FUMG*0zKhZpo6xz~ h(|# \Pȗ~?0yB`ףh ݙ23iK"u,ᬺ+EUd\q+> .]- q۬a/ GvG]w fD>%<|r|ufta6p#Ɇ~cHHJ&P@+ymP8ChĤj+`Q75r9螀O|0MQk8S)UmjnV[4Z]i(%XDf|yA^:l-ēc0Y{ܟg1߲zCAg[;=&<077mV Y'VN8 en4 ف8fgYZ7zXZִF! Ky]ŗXi%6s-DJ '6?r8[0-nB4w ) Stone_Algebras8N`~*f$Z r%H*E&~9&plǣoWY9Iaɼgr6d^lNjp3DSD|j%YU9鸧eRK<1Dn;;(*q Xs2>l|Mg6:]@X0׏ŲƛKpwY'mO/ˬ3{iTCYV/+<< )jGC؝lKrs;u]E/+,Ogn6Z !q@E.rtJ8ByhV7rHIgDVr 7K@E ¡fXt"Tv{9=8w?W}~=sD9 CD}~Y3zQEm/"E/q&*'vShB?2 ۵o R͘LYnmYРumz3"}͸2fIٹGDU d`ƙ,gB0'Qq;9qtFk6UNa,;rqMWBzMwM %2eYx`i5Pb3s4w?2?Ob ==FK,?fjiPd7Q3xQJ%݀]_/ ; )]`S⫳tb`m{;zzMfy]W!lUQ!mTF fz vL k~3ҁFAքJġ?!^Tl+Fl4YLE;P{% b[RK1rh-,@UPAOWX>NCMÐk*ɮaoLL<5`ܰbjRuDLuyQ,?U\5n T+IYFҔ7R#yһKnr/b=ވGl\s]èֳqMhl:Y4PD'GmϢsSh9#TbqW%5d([ EL{Mw=ӯ l9_)4яR<.L+WUt'87#- G q.'تH/<1@;NWj /ˏSXߴTsh\ JAqWf]1̽5sy*s(t 4E["=1jO(S)=l]Y6kY;gșIK"+Ljʠd McٯZY!b/RآBւJ=0:poNMM~-Qۈ<ʵ ͧܭrǘly7V`K /D'YNg6z<|uD~oDcAxscz iZE 3 ɝӋKPc d)9*$S psUU/{ZB#ݣNڏ=eDgٛЌ}+b4wH~Ss*vi`"f` s/41G>2(mZvC!gѼw2X@.POt´zWwr@hWDOPhQFΨ #`?cۦ%ŽZz$%4 `--'`T46w:IO2œd-!qף!P  ãJ#@8mgj"rڍyh>&|4r@]Ɣ|G4~]82$x6p=!V{k'$>"f}Ds lC#FE@B:(lz7eGlyhxQrii7iy`KEmQNω(8|J&AYBN39i,FI }"(VdIaW%sCl9AmG{aF_xT3qN*j %ή-?3ǮYy=ۓ gں[^zB35^{*RS Ϥ9'9pn4*@kHTpk,4@ӫ#n=ߓ*;Ik[t0CjWi@ o?2;ykk0^(J9׶37,0v.I>VyhxZvOe9b9>IPk$^1ےB|^(=50iې*:c/-Q~^,~#_3:|pah CNM2' d>kdPMIzI5Y+=8gu_C/0>5Z&3g* DD%;&upXZB,mZ(YCӝb2ކ ,xP& NbNq[<U㶄C< RAsb_#l^@vOi+rl]g)otU1X / 9-`#$)=4<&y6$ɹp>¶BD;gYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 1fb517ab73a2b41846b9077256f60bd3a5cd2930 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 919b5021253870e67893f6f78d6df8a22a86e487 b3748c77858bb11c1b118c4a004bba7261bf4ac0 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26ce4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d0402ff2ce26058456e4dabeecfcbe08417b666cf