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  O O&),L I/]Stone_Algebras:threads=2elapsed=68.622cpu=108.244gc=3.528factor=1.587zXZִF! ?]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTŭdڧ49RT5zr vM> ЁGsyxA] iʩ^<g^e!/xf]3׭e)ݔ]+ЗZ~IZGYFK (KAXHIP} } $W3#O!'쇪)%2@[2i\yNn5bJ> ʯ#;Є ciWL)stPl&י.Fc$fnڸz90d4Ucb^!~GX%X:hC16?uscDvX~8vuQcX2dIdxju__D#TtB9|<BۊQ }mNJj;(\I $!s}v*kG~ыhdWG|6 &Yt ^xAyZ9>l^fv4LuJmZЎXNpۄ}O wp~W~T>9E~. H@t H>FBwSN:ܧ6CD6n5W*Š:S~/ʃ8iaօPylb<`2^:Hw\sv3Iq~s+#\iʹJ6;)FP8^oX3]&4WSg?kr1Y nJj3HYmpoHڈng7)RZV&2B829h7Ξ甕wݒ>]ڜ9%"kXb1<&Ƈ ER{ۤN'0,8Tb{Kk`촅W2;WuZ*N;n'L#LJc!Ɓ 4v7d>Vp~ ¹G9F [)J9w!}uIt˻EUp{YqmWm,L/c*= h&v2܄Gʦ앖.osG Ný&\"%ʠ0D Ͼ28.-^D`&ӑhUC[k zgYZ7zXZִF! LC]ŗXi%6ǎÓ*nwK_)_Gy5xxqP%asC֟eS8?$<uqʲ ) Stone_Algebras,yfꚐj 81J I_VMǽ&gTboe["9GBϩI@P2}.=Mh ѻ誖'$2Y}, Ә::TN##4\(:˾_շIWmYڐ[Rba]pbFlPס pEtn!w dfrG}8ssyLFo ZFrsGN  ղGBيۿj]=_xBZW ҘZr'">|! lB#H؊/ZW$\A4TfK!{7tI|S=!vS*bR7y5]fW1KaHE7'>oi결W߯C/itlb*##N*C<l|6q쒌B0M2JjQa,<,J8LS0 fPP.qտ`CMQ_C ڨ^ud'8I䲧̌SbO4jٷ)i>ۘJ{Z  16ރhQuBq; Z7I  > -vCA#e /]BcԈɔ88LJ:r1kF@9wb5=Dhuϊ! RfJ3fg0g]]M}޿ˇ5ŖXCɫ`M)>I-3e}_ʭY]./}(h<0rT"h"4/0Qn˕GǔA=S jG2#Y%GӨ_Z1lp ,"uj8UP9%+Or7> WJulH*J!Xb+#08m|܉m\ -E,GF (zE `3 _,\{#{ #`$Kk W==^2'+AdC(I$.I C.E%]w/v*@ LΫuO1t>Uy p캼2 B_@sg7]=<*+>ZR_͆oiNI\`?TA$8^#avIk׌as?/o~bXC)fA`_+b)ƖTV8ϿS*ƇkKMvɕ;錎[`x*CdCDlPɣ1bLoJȾb<\:TP,phY=Ljheg1oOo Bgk1W翚/\D;kECjZ'zXQZi4Mwx,jԒH~iW o_WL<*7oV7<_goWC5ӑ> E\./MbL5Y y7o1zx1Z&NOaƁ V5ry|72xچ^ xoA:N@Y+(c٫jy$ΧcU Ԟ!Dj;&rٻ=%I;a#ãPAXҍJ>SYI<^ Jl\Z4lZe 4 U nı3}5Q$dP >*4FA1N6؀ OOmt[  159_Ohوlrk H􁝑ٌSu#I魓ۚ,VǙw@W(_ۚy*3$hMDdgUid-GIcNGv< _TYl{#5X}BΊT^Z*VXGh+& 33 '361cM8+ =ȮCcGLnMd"|R΂`sNQH0F`5~HBUيo0Olñ; w (&6;_o0cgj"Ztݘ}b0ф/X9D^&OXw75m]k\*EwZ!Dڒay] HA!4Ci9۫.Tl) Bը;EHXmܕ &v7Y#mЧ3^jxPzN$TyN4+ʀ& 6¼%x$a~ŇhܣءI3=5`G#wipNGVdH]_SelO> *sorf:&M]klcߣ z2LPtclLPHxx ME'%te?|D̝"gUԁ|ˌpBYcV1|H\BDVK5tL6d?"Dwlkw< &Fҋ^݁(U-YŲ[*vWMd7rr%lk珷Wl ^U{b z