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  :-| ]]CAVA_buildchain1:threads=2elapsed=131.053cpu=244.920gc=9.748factor=1.877zXZִF! M]ŗXf1-/6vRZV2OHP"yZz%}<4hw,\~#?ǘ&LO X`-D9F%n=jp$V`,R='qRCMb ̋f𜉗f hR܆]Cʨ3 tByutUnrk63L2 @F KxJD,t<k%!K a-A))' YZm]JIx>vkfohdyfRUsW¸a8. YGBS+bī"Su8ߎ~J)]1D$\Fn>{.>`jv?ї}2󍢈%B1VV1aͪCWȃiD]簩Լ<^5lAYAeyo1+PCWI}e2.3Ƃ6^gs!CxČ.R6*3StGG—PP#NȠX䬻kZ@8s TgTqK0?]}^,t݉+k4P@U3 el胪e2|fnT-|'Pf}v&Yy~,ꪘ1>CE(4xKXb,py|d+%ZXkgCK-~UN;Q[Kз5&YW#H;|-~):OqOђDw@ !يުz?8^A[ aGX|w墿_`iE&UXl!kQ]8#_e o'G0;nۭ_q4J J&&/lx>/?S^H X;!8ٝy!8BS-i2yy|9 %ޏCQ+vMXY{iF5gc¬Ma7SLF qPSũ:tr :¥h6reU^uU6ʎ'l[!C'P4*ILTЭ)r̔P n/[^B;X$D=Lo _uRȠt ld1p!n7.>{gYZ7zXZִF! ]ŗXiɟPmKhU1| 2 y_bΗt .fP 1wd?ZȱNM| C}%a NMD auil18T'<1,8m%-hV`{:vxu<Sv]؎ D%TDF!7X(X~ gYZ7zXZִF! V]ŗXi%6Sr~9R&boUD-t~1zWşoڈO/| ieGGQ֮ nz)g!:!s\4+=`WB N w˕I=S+,4n~՝G=5Cǽ¨ˎr)b; Tc*t-Ѧgbo-[lZu {^a9\裂KZz:WF[m"tPl6:<8>:*ZK"5rxhLY`~7FHaw_W$J`WzM3! W eZ0NͨT*6ȱڗQMG~~$fEqqCH_arՓLًEwjUa::EOcH l/*uT}n)Dg "{k#3Gt7x)p6]~BR9Z=3ц" 5|pU ҏm$M|rGj;_L]nL Sө89,YFݗZ*zu,/_ݿQ$wL I )X]I1cPcCrRls6p T:(j_X(2>D<>W+)bˣ4fIq"K= 7P_nȜٝGPT^hrEAc5m D/ EӮ_ַZOfMНMz ! FYg4-0bʧ[ GQy[]mM0`letV 6J%b]L&J&iI [(t4ӴDA{;aԛg _Vz> +Ԑu#EN[fpquK=Kee:{I&vWm2C6Nؓ_{@o=$ڄ"w12Ӡԋgé) ҭh3H*ۅ]-m,cP%U"s_nۚ[Ww9ņo-:9-0i|:M$.rC_2]O$Y 5оe֨V0? 2G)Lޔ48CEl^pM00s¬5h<ǔS:NiPkUmFoT4lnUy.&\xOMsU)(EhN0MΒB8! q9ьG]lJ}3Ʊ^8=qHN)3v'em LS52kN iSHإ4(ŌCr_ 僰au'KD%q=̼‚ vZlW "GD'Me^}'JȘ I׃O>i~ ~SZ8Q?uعLPsMs%1j]=:q,I<+tpAA-9+Ԃ|n2j[e¨=_b(v f{0IƜt d@U>R;۳q we5S]ͩ.:0T,+GzNU= F 4L$qX~v 34$:𭬫Rpv2 8)o x_UG]XbWDX(plJj>}ʳm$ flYPH5 CF.~@y#5+ʒ?rH~1wk*ǶAZv fF^GO$Z*(܍Kzqxʽ2 }s^-}@A3& 'Ҥe5g.0%ěM XVj e5t"-ϸ/9<#9@u٪&Ԫ 2}3 "U*EɛN;1*H#& ++B`l-, O>u<$u^jO24ƫ@֙SZ`Bʮn'wޞOq©1M*VcNx(@$cl/Tpy8*Z>M.<<IlhmW6X#GyI΄i/ng6>2}3Dt dѪ2T%&^Fj_;]?dW|Zx2 N}Z Onuzsxe6~Btv;}V{ym1_ !R-#|/ B?b!˭`pQ $v2ZtI V,/cυO4κ!Np{Ҏ[͕n#À cL-\+)!gTHI_&"m%Ӌ5q|ѢYL{E&PM~lw }E*@k0p ͽ\y8dg.06jJ6E۲;Of4Ϋj|:aK#?C޷&3ꨄzZ>T |,\ 2lD"?0@k.CS8[)Q-J|\06;X$5P> 3i;3Dyu(p3t{@aV9|BtOWG e`)<\E ~<:beFEv> N 5 Q$s"{90KzB'jK׻d53k[eAs7qѪ\CͩjeQ>UkŘΣo#gҰ$DJ`=W  "b{9op\̜rjF?8W-:4gI=R4>!ta% (Q?IjzС66T|yRE]Q!?a ()i7G8;˖nui 7Rr8M|ۦz =$XG'0g n. Z;"0.Q3ZbgPvMJ-AAYn1ikW?AVE6? Cעq;\ 99w? 't{Jb} `NY {oFrFt[%d]TN/ƇV?R |=/.ƭQakz ,X'fUb&{1(gs'T[;uA0}(TT'HUS|_{`gR3Zbƫ%6PL`O+FO¶4~zrN{[3]WI3݉ ",+ICdU|G,V,eiO T5_osh2;E!}4"wt٠fقJPadAR9PCQ^kXITi|Ue +|9:G(N h_!CצTJ#-;GR)>DYu}j"ܓ,^\=A6(䧤.G5kёqꛓmukdo}.|.|-.c9- ,L%!7\bGaCj=-)=6\c9=~Z n|YlզtA "W%.TSe !F9&Z)2ziZ?zeߊS7+G`ÕY*}0kQb5NA΅Jz)렠~v̾*0c;8R/&sDjK4@հ .l L#˯][(Y8YMs,.mHsIi nJSg{jW(?yVN`~La!m /+ҿ ֦PJAA8O(6u7SF=#s\iogUPrO!<$<fG%YFZZ!$$Q~`U^ĄTYm8Vq ߫!Xq Bd )ZkGh[|ep銷i{撈r4t,ݙP?RF|*[LxhoD~Ւ9YfcPJAd(JT-݀~b`5~߹]FY0"*؟p:toxvVgR4L%4d~Sw1!UJd,=i۷zN?\'7UJB}~j`>Hh4/v 0vYX?Z4cX`iG]yQOvGn@9]fۥ ܺ>`)Ud.U d\eyQ~H64I>O1UW?o N= II mc9]էelj['X,=B&}tOOh4Ys*6OeHK 'fTx*hS$prvZmj.mFÎFnYBdLy+I&AwmQq{0rfAמiS^{J{ůsWtG|j ݶ!%ptO=*+:mr[|=4j,Қ zwm/_“)-nz^g|_W}%<#XϢ?D F±Z|hjV▴'a߈Q?0E^G)\) 1v% F