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  [=t4D ]]Datatype_Order_Generator:threads=2elapsed=220.050cpu=402.440gc=62.240factor=1.837zXZִF! ,2]ŗXf1-q恈eO/O4Eh ]94uZRG7Sꕏf|KA2հgŔg8.eZ<^q_cpt=UBɦ T`aQl6f(9;1+S-RuuOz{5 ? )>m~gLPz`_*N('2uOO|* ^{%; kE&o1SIm]2q!l{xW;mCO:$w@+NjԿ-,-Z"x2csdbAi~XznDs[X&rޕ Lpyq' (BVŶNr띛(=h-OR7:aTJCP&5yZ6WDf-nl/٪hkv◜;TAر` uN?es[/w\]vTqr>QTSn\~H [bQ|Ɍ*49UO|_t>(+jpƣv022zs\%1G.sҏW袽-N<Tp^5[b~}m+ڳù2o` ?p?L)UB=vYOTftYrOVE}zz䃣emFdCБ; (l׿4[1Թ/C#[Q "4NX޶ !?Wky8Wi9(} ݴ#?*@cJխt>!yW]b$<Ւt9RaQU, w{C@X;CUJZ? :Nc4LAm7tw| i˘!g~B^l}aT-_4H'jqt-Ռ$UytfJahfa^ۗG!}^d< = Datatype_Order_GeneratorQM;%8Vffu@@[FŪA 3s C٢#.J}F^X΄K98杤&L ۳ Xe4N=68a 0޹PnYrUg6B\TL^*`Jd+ p]~Exb_'!Fx#`\Źc}M֊OyGl&7 aHUqd _Au@ g@&m@'Ϫ g##!A#E6aKBH37FsG[VyOs E}$ cgYZ7zXZִF! 㜣+[]ŗXi%rurkXvˉyI6/yw*nod4-4Z}E/ ?,l$RK4N6f_K/iI@?i1(JJڀBf{z0Uc*NoT,!}i %6gwb +BitHջ!>q)V)qE>]m:| dKO!i'…]Ve9.O~o[f\eGR(VH3/ nG%-ؘg2godĀ 13Z}W&% I7N=˙.''.U״zKkxUMYԍIy #6AȝASB©bt?SLrRp1W2yK~kavڗ~tX-rvR6ԋ,_ % AL#^Y}H%yժad0o[AFjӖ/u; dUWk؊wܛNe(AV<k ?m2wī,,8{C,Κ2p @4EjYM#I~0{0];LV׀&ck_ -f5 _; NJ$AաݥhաH?).\ywޢQK/yoϘØ@-WXo@BO .@s*tc_B41|Jn$7+eg ȡq@፬3`\$4&BL]t!#I1Tx䡙(_5dL*]E[eZ9$26,LS)61n{fCóm"y .Jf|yҶAgq\G)+:)qh 53vZO.,0Ugٸ"80W)[Eou A%F=o>fo' oNE3g~$_Qi.7T[4ޚ'&B []%!ݸ s]a еU.5H;,/ϥA dF,̞9S-¶١G:- M!NOdII:χ V%B/ˮkZH!8*op3IR8LmnO࿎[# v[ܴVh7zM~RR~֟Y)s=hiiY{9 PY F޾OAuHI #xj\+Yhag7r^/+wka:nơ<{ KC_>GOl9H$iIÿ졪n , "`пc('ԱJ~[0 E 6pw]Qdu]|U t%~雩ٹ0wih^}j9 IP u.s-GB #(t6K^ud{nt%̕Əg~f. EvM!\>Q>4M2紺l?0̀񁫍!2}>kH5 $ƅ!7㘯g(&BWQ@Hj o-fBMq\,X:?{/kI6f'OG\cys$U'cr4R) HO/ʏyO9KzאgzxNq1'7 2pe*Px>ĩ{΃5*ȗ&c?Ku V1BΣb1-rrP46{mNμ4~yA#аDND܂L6u<[<|I+k||]7@ 0q:M%sV U)dQ1=vUv!cwY{@DX g#)#'Z^(4Vei6P{dkIS=?ډ[`ͯmM+8BN=uf5yy>\#ΈI ZC0>SAeaWԁlJ.vcRK|yÌ{RA%W_6dZ@",DY Z 2G mkLq0O;)?z'ChQ^?oI)MX}"[xڈ.Ӫj|I4bcd_`kx5#zL|èOM~Xt ˊPYY%:كHa-`$Jb(M}-gP{'Ty>j 5VP4D|~SFקr&+kZN[3qOz~v~!J%xM3|G ]&#VL@nIث(t@I+xsKeRVS֍| _c:K+JW༮Z z3bbobsV[w*7!30B4R?-`&:o~8֪ٔRz H<AәAk$'}ݙ9]P \j M]M14=}3#sTc럦>d:enPkDOʔGe {[LN/$=~a"jdYS-C$5I +B3`]Q~ؚY6>R{KٚJt,T!*{b:ȡ% QPϳ4͂+od <ǙkOJkAuse%{ MDAphy e?"$H| .YY ?aX7]2 AIeݠwQRSeA5H0[%߶v(*PbC]Yz*$`,kLl2e=VSۋ9="=8M>R  ,?! h:@GLvsK6w_u9ʹc^~;Ð []Hi6d2Vvk{]!1RҺCUt#X  cr?wPDc^b#H}0UƖd~x8l@xcWw]LvF?Ǜzc`<_(aضNG3 cXoy V XJcž 'Mw ]cq+51S?vUwSmGP.LPri\%OQ&AL{L5⾨ۻ՘ݞ`Iil)g`Qю_Rn:Rցc/yA^#, \vwB=jJ\iv (@dZގ?\7E6nv b!(aտNzyٸFr 5MM q?©R\9ǚSMؠG/ZĴJ@V Th~kͶv$ΏE` .BMYdkw:xcZ89M鬬kbQ>3 [?WfgPYkjeKrb' IwR=2eFy>(/Zkϋ@bZ $OsXz>m4 Ͷ=qnwnB }yP\]DkK I]33e`#qaM,o.5&6t6y^Nq4$aL\Fp6vlҺM<f;5ɧ-:gW-qA {q^6܆z$41)7㤖eqPpz9%h#8y7lrw *Rn2U]Uy[!M4ۛEH8'¨jyWpA}RN'F7H!: bhz=b|vli<Ab{J%tTa╿ǒF|FjQ`\V9 KeLNwj,m4Ye plJ; T} УbBz!hH[U<"3rP܇'oxW.ߧUؼ+sN?BzqYz(I s#B@.Ɂ^B~fp{1Ogm/F"?{Q_BDr(}(ONjWz%'_?(̏x/nmBp c 8Etyßmms@msTD_"D=V~NEsŜanu^>+䮬C#} 1f4'pn @H ;è3@]ʓ~~pVՖ푯P_@lc`g" #y -LԶzH@Mϩ3VS݋ttw~r{I̷Tk~T;r$G&k[{G-i[j)Tܷ,ewѵ!v_F#+$&{匬(.|Ei>&1Ώ`K6JУLJR _P"}U5!>=kHB E9"{.+Z>‹`z@~o{}1@G2z HQS2olKZ?pixa_::[͐Ja2a-^c9bZ; U5;j]پ`<7TY׳X/(`d!j5ǧ=85BRd^/ԮY䭔'd&/Fh4u(j&EIɞ K-m編@/};̵+~2JlqQ$cŇű']5aNG}}y7])\!04[*P+/edŪ@NNwg!]IO |HHf0*wIyv&D>ɲ" J±Ax})uhgiC-{sʂ RoTgN d3oG"~'9g]/Am: &Ɖ(>G2QiL0X-@wti(۾?=PhG$ f^ fȝ@:Q­{Ufi= &^ Ah^~(yȗnKdƈ&ĒS.-ըX Ja|Ǔȵ4J@5O7( Xm`nyRDVYnc>(Tdr{$or6Ĥ2?OB!' )UJӖ`1 gő"/X,=2&|6׉"d_:06?{J⤂2 ui+ {鋰@3C)nS/u즄z`1%Zf̓q,^VUUÊnP1w}dEǍƌ^e(0}H) L;eKMRI<ʭu<;I$)ZD~a%kɲXaƃ:𙯙66?^- 0eypEw"}ڷ#l-ݠ^z)y[z/_+5<Ǒ(2U{d [dfŊQ+U-cdn,` hGth㠤:w_@%aSb5 ?`sAqЮˁד>AHW nƈf-x^. !d7Ƀp\({|&xƺ*6wF~ RY"9|LKn"x ȋE{Wו%?{݉$8L>uwY=bM ,-AS&{vp)-kh!ђC?砄ע-Ay081G:MfS 3r&aTJxR*,?In.@n༖ZCՅLO(Mg zDn/ HN?OFԪ)ֽW椭MȻX7m?!Y; lJuB&\46!dؔ{w. |ʊ 3*i/*Ry_v&EO3K'04Jt* UO;/AI1*GىttGq7Tq.qG4Er0,F[g~mbïĚВBqϠ9]3/QL,4ܼ0'!NIfhxnOV=Ce,?{Uܾ&RE19% ؗIk$5Պ@0f3[o}m|""Sr( RcέV\خg5k% $VRϺEE@#E*~kqBS0>x*>j4%&B7oL~b< LAG2IZMuvwJ֡ 6,_8 $G#ʱqKC~pѳU`0ե`uw\߀yf=ԃiY+ \@Hxgt/k#e"U)Q5_륨_ҜmuR>Q2FIY7U^8γ=՚ieX`ר8 c@,(_[ M&+w4!r=u3-63YDPc٨6긲 IsԜNQ_M I ;YM1<"t9H??P 6*c1 XNă5"J->NNcֵZ3fn՜tBcʩ~*ٕ e!2mek