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퐌dg LQKѫ=b#T>VE#y:岩4w>a=!l;J'ڜ/1c$DdP,b.Yg@'Lf+n\Zޣ*)UE1Td#rws+9g*RNmzy7ny?iX܎wu(85z1,#(X].ytT2u\:^X/\4 J tƹqO@*oL8jDP}0SL2E5VKSnUCVB볞ٸĆ8{vu@^4lDbjMeքo1(v 3E -*?̀s$׌vXC,5$|4L~ؽ餴:D:R7*{=&SfWq}/U)z˘?\`Ɛu_75<;Q*Q=\ o=H`c4 )Ĩ›v~PXzhюQbu]BM`&׊ZòuD7xxG7^Ԋaݮ`47j># [G,K?f*QNv|4Ӱ9^~#Qvo2!#{|@]bLs:T}HR4SxC B9- o!bcc-+R57"ؖ @3@ߜC7=ㄢC2X딃 !MqQ&‚`xIg[T&^gƻ-CtR?D78y kϙ3Rk5'tf8|3LE7ӴUv9'G]T7#Cp<#>>`A*|u !^XU~,͢Y+*:|=%il(f3V$'_y93 '~b' eq(˲A`⶘ZVKR(Tׄ1?;V5u25GrAkXduYmP#ye{"uz+1m[[l#Ftbo9<8_G=3!hUUƀDGiҦ_oz8B7_*3(MАKvR^=Yε|ߺD\?qTޡ~ȎuZap-O="||=@,puy1I!2w9'ZSpCu{fM7٘xЁPc Q^Ҝ|4}MiH:Vi~Y:wk :MU gd6m)Mռ-BFismvӆ-RgR ?zmZMt_eTݲ͆uL$Ksqp)[UzEyE(MW9z`ĥ;<#q ktEYhf[Ϲ WyrO^fL8X(jg:iEކZYGu5ɮ*$Yt"kD] 1aq=+c2LQ/6zyFfj&W:mb6U 4 Og̜JҜ%e|pm9/y=ѹ{ ɀPw(xj&o:BL6 $5fPJs\sC tPwLp,no\2n3w_q)b㋿2D`抗 /𷄍,ޟBDW˜R{wD, N; Nia$!)p&R=Z 9@bFf{NUK$"]WLUUp:;L`'NM~~ǖV%P;:\=47qҶo1 RLXu%g[O_"xLB414<xT|R2XIA_g 2DB\ƣ"uYݎ_iis0аv;J >4vJ2^{ 05I"%Rz~ݢ K ~iG{ev3[   HOL-Authk}$k5SSB&߽*uy b't[@qnal[*y8s8 ]aV~K˃@;FS{KHm`Jii9/F)ni t >t^)EibXugYpF\֧qE "쵠r0aGRZn?)ߕԾa9$/l?G;^*VXy0fFajvk=Yfĩ @Ӑ4`J8WӶ9rBykΦ0KP@5}.kEޏ~_AMr,ƒpX6gRT) D4"PY/Z|=.9N2ǥpԙyͽ 3x_2#w9v, R 0˼ hΜgu5}e>C۝wK޼`g،Bugعwt FiV1/|f!l%$[!/d3hFVBжi9v,RKl&xVI=A0Z7/pHɽ#ߒU^ir@JxJ"yiv -ulq_8&21QVg{uhLS2q=yIb `{jzL=TrsyLydGWt> pumJc' >p5&I4nqݥEt,:WLZL Z?@1V₮Z= j ZTS' ullS>R!C>`\"-FF~VW o#r[K l@^Uؒ~K撮)' Tզ,@:iQEx]_Gdv]%a"l6ę@  G8ǕŞ0AE̻MlL{k7PP-ON"Q_ש8G~|$u Neel ~~)Ew]R̕v$F9hH?\j%Epq @٭kL?rS5*6'tsut.&L__1ZT V̹ ;KJ$σTDYS!~Jv+*it-.NQJr4v$mu#jxfz}5;&>99W/q'Vw%a@G )!%3?gYZ7zXZִF! 9]ŗXiɟ16_ U'U%Me,32]yz60)£چ vLjxW ٽ]#Ռ£=(Ԡb \8DsDDEX]J!v H9cT@T=vq~Τx?Lƾ8w(g(h0xMQzYbh$)I U%O`ί脸3uJa}cǢvrJI8|@acA՛.]X'J춈9Sx 0ε,6ϵvW5@FG&.a'0qyM{͓OXIH9e[_o_YȔ+^6b JYZ܎lr4bbʶ 5܅4`Y '^Xݻ UzT^H+>sN,agYZ7zXZִF! F]ŗXi%96)czs/M+-4*aX)gP,fK? Oɪ1cTܨ77{m`u+g_v]pKHsCnw&Vxc4 1%f<Bqn ?ZG91Qjb̩׾}3=Nm~Bkǖ+'6SZac*i.\!V Puf۰m'5sO+׵^E(+j[Xo6z 3ïa"M*1;/ +Q+k3"K>~fszYoഓ :O7۝j+sla^*ip7{]|м ixR*Ce,Μ4 %1I(p7$t/ьG k,F8chbtwn16xi_ H@q&ݎݫW}2 m&6 rn[k]o-PVɊt2Zn'2}1Xu䙩PոNsiD-Vѷ^8$#5̀v8Ӂ^rKǟMc9'{3Gl6HpxHd)+.O%J VF -L |V!>y7oѠYSzZ/TMm3О$C)c㳈QԦ!mtJ%atO_[9+I; 8]%AiLW ,)ۚQJrRAmTsi?L5v;6tS?&z!aQ2 :PT#׳o 5&0+} ).7 FZK_Nh3U{2n\ HN4=.aH{2qkl-͜!LUgsH؊%pje+p%J#oӨNa<ȋl'OI q  fUS/3b  j:Ix (ħ~|Ja!_AO'\ߪ0m ov+d u7\,q`z9Wiȣ3.wÝ2^fo&Rꔈ"Cه‹N!WziOhcR6!*.ë/A`{* -W0.@ ) |% N*WEZ E&a"ʰ" VBH Ba)J۝}&/Ӂ9Kap{򮘽#g!{t,F#m D4ԧ˵G@x7j#`B'>]tɂUZfG,s@`7^w=S8X|;7s:==8:vZŶ@Wa%ѢT$ !<%qJoB&iĺ?$WЮ"``'GF$RTf?ΟdΟwG2q|Ld25F7ԼL tf|d%OfRqa;?Yf?*:?< Ԥ>T ෺$wM 1`@AzGTht񚲭rT h>2:4$K$1d ?z_B @Xku-m{"H׾:$oF%N,N-ԽM ZK\q͢ok0}›{oMhihXZ_D_>݇oe Kn+\B)dy1CmT 糖 jUfiy"c1-ȷ |QWB4a#kG |jجjH=4rB^O#l U!)*.M1,/k5ޯ[$&lb4Q>ǰyU81B%aӳj iwyElP H6|]mVS r_d N$|}h~&ZgL:`B$;FEΘ:$nsiJBxdGv̌i1J>E;}%;8T<4}9w _Ù_VyxFi&;9[$ z &ٱ[ZE8 庰x? yS Ē\R@Y5PǕ?p+XX8ܽ:~~-k5c|dMӵrxn8F [?͓O)B58$P[n:UֶH9& KxTܪZ! Ąǻ JNﱪ' \K5ҋ ? z)+EnM:T魩:]PqA hƲ~hWD[UG&1OwáƎ\(Hc.U߉[놵(A@PJ@2{DC=~A}DP'2%Y07q5gkyhJBNg"n9ٸUs WC?_Uuylү`^!A&ϗsAZUB} Sa? R"B2KA@[jjMuNonSMّw ~6E (خx~A,J>&5 adV"t?G ^\9  `d4r0Iـp=[ 3.?-L˫ Q n-ouVV|Y;PX*)Eբi!溎riz@ %x$2f[M̨$fLLC6H킇g'.i'Pv;4<ڛjz zC:O_myz pŨL[9Jf߯}啳)/o>"w](0M2sjn0>DY-yGdpN 7-S3 4d!,2n}.Kw|簰{O$ 7[5m1,.4.&xaY/VFk¨VuLWHD Z2D?tܬȴd8 3!7qːgjٛ4ŎK5!|.a\[:F)_yORJ9j I_̩&`^J75VzD[hifv v{}^ȥL}TZpT !!V32ЈFa"!d~lĉΚ@^ 1gVLGZ Ջ8