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 l| ]/ SIFUM_Type_Systems:threads=2elapsed=61.122cpu=101.644gc=3.212factor=1.667zXZִF! @~]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm(-rC|G$iY/4qkzRIf1 "t!3 C< ,mkp7>rHbhO4~.NW<ްJ.[f!?.h |铫3Œ̨Z}X\vC”gu?90LDj1xTJ]#ˊW9 4#^#Fɪ_FjYxS!FjbKJ  o(p*Sh*o$CWG؃cd[Rn!=7JRPmE_d5(EfO9`Z+1:Z6vf ?$IenQ%l[ Pa#A|M9g=Ȍg*ѽh̓dќ[( U[ur.@&>%o|e3ǻNmrM+S]T.# `~!YN:%6mݰ;r[>^zyZ.k_n}Fp>AALԐ7)sJ;}Gtj8ɂ1Tn|&+)Txb*!K}q^jog`r($Pen?B P3%9^s$3J !#){E2:n$v/O}uo$^.`PLDz'QB8F[wJ͏ %y (wF_&T5qM55*SF._4Mӵ$}ἐŀ`FTyAcM(W5ێS7@˜>Pn1!߱, /!/dHG 0(u xz6 * !K-& rq"f`݌mYæ<Hu^WwEk'+OsOX%;l)=dy]L|lt$rI|ԓ)P6HvW u1,nnc@aڠ-e Ѽ^nFޣNQ7~*e·w鱜$k86`QiAv24!Ig+ʖjeiv,iTܘ:]t2 j?!`thY|V{,1 dg,%^gA*%\SzjfdӞgYZ7zXZִF! 1]ŗXi%92M!ӤÁAxPu1}׶uEw.: K_|rci$P}}k6Z[qwӓ7^)C@7/h,Al!έlB!;~Әث&|2V3X:HmvAm댐1@ZܟL=/gY}T5Hf{U. R XHU`ӑMa*.Q>|+hL#䝲3}p3J`f D_d t3˝Ua܊S=sOU=]b}XtY s|9~2Jє{O$ACb7M\x2wpcf$Fe" GWBv)ZQ97w03ʫhx[c|~2\QgȈ?3F~Qg^HKdC8Ogk<Wp  Ӛh@`ޤ=wDd3ʦXqtR<ҥGV<[›ND]Mn⪵CBp(5%`HBADZ S~(zJ1+"D}Cyycu˗VA2v0]-瀾}N*Ht7! i*S/R]p /[Dv*z"k2jys%ƛS% ּ͆:j xşȱb8>5M~ΐZ-=?DkP W%*RFwa&[uYoZixZvvPK9D9*,hx-HtNWZ`0 L_σ%]5J$c'KH`N?h3%v濁,h/× _XU? N@2!_!683;WGWS|2c  r?WG:ƹX*{I^Z/#]"׌|& H onC%=ՌI8J &(}j EUbSBU-5η!_-eQ `Kʽd`Ê tTW(N;ԫ{uPr,H䬹D^t2,i#b- MQ|&#>$CWQpx8d4%' ѮrnѯryslopbM2$ekE{W%+zAXڙJ?HyklGn )Y,haPt j5}Ll\|`\Q;F? |ݴE'k}$ a]VBpm?!6Ōez)_}iB"",tH>Q3OKe@XEjXz<s{$1 8loBEo^;ܔ; 5+d?W[Y2Vg_T[[2iĸ_<؈kY⑬VqE*[nT#xBsv3~ Pg`ȝ?W^D<>Av^j{DIF!HxW A;zʹd,H*õQ~c Is#PfKj?B8ҽ{cA@2XFď>Q=uNoO[23/ԷTOηᣊy6ӕ ]? NQc`NN =_(ãV ,& n>NBáV@;z4JnZlQzgn?{HpʝX%D06r(Mm4T?/cMUd|RѪ+bJApd]mS&"teRoS(6 r3gŔhr7^geXA Bz 8b뙷F]hx@k4vc7oL,@ϭ?GS nE<`;*ȅЭ1q+B72֐A&j5M}C؎yLN0/6̇ U@+bݟ` 7ڍb i%I*Y]|w 9PDM/ ͹ nYݦ[>kWܲLw9<>B<0jx@uFgm&p?`~gtz]=#8QdkÖz1L,- pa[ŏ}Z->m,ATN 7b۠@7/.L; ziZݵ)pBAIJGJ0ʌWJvZ[ZdJl=Jf8A>B7e2H ɽ+x7d4i"U}яhg-7YÚ{̢,k+~^\|D6 ^ڻ=utȃ.[|z O;=ż 9nGG! 0~"A̘#'{Ox52Ym@}!!eD&3_K?R%PΟgC\̿_A޸X W֪đZI? 2Ofk_~1?8=ng{`ԃۙG%۬xdFAr_/rE0Z[a7!VÁw”i4PGnP(g^\O+.7S)fn 0F5aun󗻍2h aQNSw+8Uճw &Q(b3]05sm sh(<8Ц)9Z'+}>AoR5&W˅) -'7#d+b[!#˦"[| F"xljaoLm}W\IeàUs\8y ȃRv}@׾,6Ҋ͘n8ڬ2)躨,b.2vEc /Z4'O|g^S${ oQ&5eaǪ*.79W(x gVS SY0 Rtgb_?Ew;tgYZ9fd74793421f5d62db0181a3703be093ff12c49002339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951