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  : |D ]S Real_Impl:threads=2elapsed=65.140cpu=107.200gc=2.912factor=1.657zXZִF! ,]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= =Lţtq01+vgwM Q}7>e-F_'o# J jPNvK y hp r|;ШNVޛ'TZ@:+#cvvt(.~ș\` Mm$q ,t{Mk?hӧ ˹h1Kl%һm4Af8S<sxbtxZOr] ƻc ˘ho<5UfTk5L_TvC;I H/U|AKJ@yNmcRUQ3EIy`x?#v7#|Q;`QHۊϑ#-S\v{zpQAW%\i1>ƷӜv*&3QlnBwVr$#R0*!?NT]\B?s93V' |k+&\uYG?$db(j?&1bRy/cu{9첹;P)T"gɦ_i6?^ bZ'\Q At7`t ŦC:`IL` DvdtUVn{YO؁_9U{HpC],-Kx@;IuBJOF!ݺZApivq 7V%|Y@/}vwe`?eׇTɂF$ nW3Y4\lR)q6K7ߺbzmڃJ^yF˱1\09fDKZIzXIލC]DEKYi wxUEzv$ya\vzoF,9)"eSHB%vhÜ4y-ܓKjWԫ08BfQ%5/7; ƺ`Sl>'R xTW$SvvgI Xש}uImSӣ˧j hPQpr!IɚmfacMn5% *?}=JN:G$~7a~Z/\֨ο.b/kΧ<+ja(vDXBPj){M@E" f-aXRoXl< YIgYZ7zXZִF! Av]ŗXiɟ|E\Ât+.*aphG)%uG:YC@,͸kF/PT??bWziJEЏDd߬2c$^zd ;56dТ4   Real_Implv 3LeHZ-4MZ]p 8p[=92qKz* Q:/ ~D]KGɺ|ކգ`LXLMxd/lߣIMm=HjJ$}wXjߪ[5yjtل"ːbJODS$⻘1^-Rɮ\> p\|˔w^!b:Zp>D%H%q]FNJ`*E7p_pn gYZ7zXZִF! > ]ŗXi%ύw4qOA1w^Ws⽂(hA2 otN¦H[ ]͔0Οϐe?">R G0cvPg]\gva}tQZd3i σvQ19sME4g Z>wci Fޠ*$]4 L>r >gBJɷICqImhɡJ#PQ#C:s1b1|@&vȀ$WA5NE1F ͂݇>ﲛz*gAQU̽~c7AQ4~J6'Y{e_lXzdsؚbDUZ?7.YS$`80ݒp) r^_Oz1Q` vLԺmWI݋Lf:>YH9L ټ)8fZ?6z:?3r'ʥ<,56 MLZk'D\7~ص2OU⸬VlfI CGCʇ720K+.`':Q<0i6Mdt|م4s yVtȱm]bTUẐTvv`R_Q 9eL _]pgݿn.G#5= Ax@/POBwe ν.&.w AT74ouQ<݈֒izX@fiy|2]CQbs!]֩F5дOo-/@\/h4JB]}D9!G+f$[[ϩyIR{x;2=PI81f[w×"K3~CG2ػ9Jc|7W 6$¯ab뺛njخ;49v?N?_O]Yj v/jwrIvU]US9j[ճe-+&sdtВ{hѧܺG{/- {z=S6 a>K](@ &UI6(c]aNnV8,xy( "'{-LHsS"%LU rj5l(gogo2TF1GqA#|"^?<瘛鶑dFXVښD^R O5+p] Fq6_ҸҐ8 FdqR;2Z(6nZEBԆv^Ѹhx]m.*Iblc?EeU`4}B2sC*i(&Tۯ:VTkE}C6}4EuG}$#.Ǩپڦԁ;>"6~R_F=Ҭy| ]ڙ^+H.TɶT` d=(2R8,wj߰eiY `E:m9BlNlGx:_j#sP{M'Ftu53:wO֞ic p=45%ү1#{{`47@;CӟB#Gސfrsk/׉Auw,Q hD<=J]zy*DnoۉߝsAXBz& 1,1:+ OkX2+/eĽ%%q)|rG}mO ܀ɲhkuppJt.7&`3+[~'ȟI\ޑ KZCk䲔#-rQOr)U#(x q'ccAD9lü:=s塗-0_p6`_͎TK$ ?TAY_lЬ_> AUuql`0>w_ÉC\}7 C̡5 F(ƥY$y&a8fa~Vw:ULvrf작?_W\:ể=[@̰* 7G-?.u,ޅlDm"hm1].C2'֭%' "geA˺5U_JyIs\ #6H*X2ytډ ֥ձbbfͺA|l|(2CuɃ @B6AIJ\G= y))I8\z>Yd`2F6 [c*wf˹OoBV /ٷPHM2%qŸ!l+AήB_I~8]KJKv/moGFF_2h *02a蔘JufbbM\=,~Rf ،1+.eBɻv0[|=aT@W<.}">$0"g}xxyހ@@2:2Dc3Y `Q]D .rlMԽ>FUN wLܿװ(zJtm=kFq}+ܻ1wT k=+&4 H6GGpYeSZx0B.”t']AזH}}uf|^ԿEC`#.o7Waf*~E'%>;=`ɘ  2LZ~OnJH(#KzkB>'B=ETr> OYX>S˵HtRyXGfxFcF=#pq "TIq{s*] V0&}Sqe*00g$"bJ,c+ȴc~$%.c1GeV/"F+agSFv#tpN#re\ӀU/#gYZ2ac45fe748a087ca848335ba45296d7059e1b157d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 f5f57856a975c6a9059ecfcf7d363fb4ba069c53 13b55ad95012c11c2bcee5305bd100f2b2b12155