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 __1, ] Root_Balanced_Tree:threads=2elapsed=85.873cpu=158.444gc=9.540factor=1.857zXZִF! @B]ŗXf1-q恈%kV^M[-dwPt#`Nf 8adY,)ۆCD,ylt ҹIo /nwPS@.N˓WC|Ӆ-*,gp6gL|Rke /yg רoIz_f e0w`y(S UV>N7a-*L{Ԡ|^Oߒ*(?GڌΠkZByW-~*RXF0f%Z?(}&IPj 9 -vp,| ½&FFv9#2#W:5ټ!.zu YKJXa;srBU]0/sZ 8+CxmfL+ `c&ˠO+-9G&G-2eNxۼ-讳x䩖<}]oЭњ]?xٔ'AoSfwFtEHVդy(j;8NCI9Qjbnqa_ TYu .sR|Lo*z3{YPYM]T6_Z-c%,f@ʸGgÛ }.@(K(ֈ+ÖD{Q:Q482QG, 2 2E=w4Ao蒰%7븱SB!vb0k͋}z$nB5Itj[w9)j m RxϦ~i]Oyc,%eQ39 :I=.*O4˜ڂ!ؗ&'S,]ồǡd0}'/i'!Plܚ] "hЪ~F _J8}̋4¯̋o0:];**CJ?e0.nu͕YmEg"_ЙNdž2m"B0BV*y E!YӧwDkqohe/]W1(=W!fyjRY_S"-&oԇI-Nըҟb 1rT͚&r<]oP< %+ŹI3[_J>n/XGZ>-c>]/%6}8LUUG־9AuQUixjxQ;5)š&X ^cS_E/ Co%{f['{gjNE3)cI jxZ&d]暈Bʛ-m^ܦr9m"GsyudJ9$۽w 1EBA_Pd1Nĉgj⭩xA$AHujES48$X69eL'lDq%u~<1-r+0xK鋲Fy #ȺCS+wr՚r2=D`E ÁEgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻zj@:^LjGsVgj^|Ϝ:PKzFQWGT[G79sK5_[n`pJcR g_kl`mM\eVd~ ,B0ڋ93pF4.O\ "{i2eup!bL.WBi?[PfeMVnd2)+Pu oq_Fsа_Rp B/k͵>5M hMkZ|'OU#l(UB! 42_egYZ7zXZִF! ]ŗXi%90øP iˎK|$ :zxi6d4bi8vnHߨc^1Wv~kmr{z31ĸ`0QNx M͇٠ ˛d rϒe[ iO]  7܇Ȍ323FLq&+Iq%͝t23?3O CҸyfq­xkWQ_p&ׇ+U`-3MebJ$yC[jxW1iG(}n>ml"S\ׯ8D 梓 6Ⳙp-G`n"~&/VpOvbfZ0mxٰs"Z -n+ђDt23:5;_ͨjD܌Ӈw;fJuϼLEr%>綹A"v!<jz.; d4ӡbF(L'v:eO LP !W&>c,jE8gha{lfj>; w(h$UFͭT R,rn=$f֧IhO1,#]/p+^{]rP!QBҒ3md(2UTvM0e:?0Rdsop;|d3nA YYc$[qMadf$pvn 0Pt}f|9A' 5lbϢxB$0}j1"z0OTp!g6+sHq'묢z|t@EQw‹3d%?fM %,(LXq?icJ_ʥy/mtp-JZIʡH$5cv VS[]' C rzŜ(R0]N;8J2u|m<=yt0!wY©nC^}߷*SuH?G*K +1΁XzyO}݅ZMv*0a'uoXT *M,X{wfࣴJɋ4F< ZWMK|eʹ[{TI?dgE6)Zo=Jf-.f_:&]+7:}i^Ӏðg?dIT6@c(֧=U؟MVNQvy\&}KʕptsHTCyQxmy<5 cd?FkVh!Λ򫫤 l;E-ƭuz C xSakײit3߸|\3;yt}sӟЃX!+_ҩYQ%_Z d>? = #{yA6,~8 11XbH: uvq',-_A|F16#0}O7d>2"O(J̋ƵN#iK;sgΌ%Tد9Md%MhێjlTFg ԙлR\7-_,:]zßp\!95Z#Pqf+;@190Ĝ'{$`mP YĒn!VpEO.ok`Xѣ)k!t]Qk2(հgs!+PEPj.% џnxA 0z*{47gД/FBtH?`@];F$ z|=2V%}}A*O5-Ro` d|TEZoKkpj] nJlfuYڦ.\!kf]+3\gE;e4JK>TӚ$>Zb3ʾmə2*Ldײi3=%gϦ2~Vl?Ύ]r;5{D0.Uöq4KxǺBio7c-~D~T{SKݬal:mP& htL]S Ͽ_! 6!<0jiTbٞ;]ntЂ`6&zka~+uaKuws&~Bx@4&.$6x5SߐQӃ-Q50yM{"#OOO֎ J6&Q.,~<7|*.(}oйFKwv~| LfKO&1L}mPX nq"E! O!;J7+(@Cg *WyX[;oďV-%0ݢݜbr!R]WZGݮ/R6Vz֮|i̋qEboN+9E: oT9OϙKS++[,T^;\^{[*UfUQ&RoU;kcI;R;\/iųz#`FXqP@ ,9| Ty5/Xl/W4\y 7)~RK@ n~)NՑrjK">iVRb"ަƑλ|Ѽs9/۶-i2iJxaZ"LE>*[o}Lއy p:oL3&