SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 66=|5̺u%4rdG R浘<@CnhCsd؊5y&oI2VWF$* in]VNݳ3.5R5%ZLHr2B ~y^̡ܒod]SUeu#-rq6`DJ = Datatype_Order_Generator*dn\§Ќ'ÜjǙ̝O oų'l6<!PB䲉bz6 Q1k@I?|( Fr\!|/p3\Y߼8l_X̂;E .yDr],(v n,x~9 &_YXwȲ<A#RR܋W[&PiQ1[NI>&QkFl'gtAL7HeҞ%kB>B w" '6s[4\f폶YW3Juc^tÌ\X3\oS Cm Plr>^o V@-= AU _@[ۏ]jjz% =|c%<*=W.fd~BQ \]W902,~E& (,Ӻ,LZ~"MA67`zN[(l@ŏx/PN}xӝ_q}L)9d;ho aZ6Bo։fYys1}4 /Vѝg4Ze)̷'v/'?POlLÈ+G~i*unꊳX:"i"]Ј_RS\$5Xc&^Y$hq%ۊG7ۂz>idg /29-A(`?c|qZ!tg@m̬m^. tDWK1f:>(pYmzń^ZuYrd o. =/ɸfؚ͓!Maa?5u=+~ϧ|=Sr'6ش0;΂E땎;MhafP>uQ} L2,/@[%3l~ w< 7:tw$q(kD9x!r|6k4NَnI I2B. NL]oqf(LxU/;d IziEY>R꒥^ :UK5i8ks odi+tFx O*ɼQ.NP9B=.\6ugp4%TNʽA<A4!?S9^4xDgё|&W=[6Ž 7Y7gV!^. 3:H:` MZx+{lsY5O/: 2KfJǻssu}HY3|z!hP sZ jkAC6{è>#bhXKRE1w"t\p`Ѕ, cvUё0ÌoֿgYZ7zXZִF! s']ŗXi%:" HؗC޳;bTӳ@ ky&XZbZt/51^y(p^ŎzZVX/sz֫ڌv7=߯8d3.`r($j*}bEJK =G]`Ak'Wsi;ޭJ}9-V箰}mVqX!{DAI.32 qo`l,^gZ@xEQA}K ZIUcp+ؽHʋ@h꺓*XݢAy1n,EZR;l-'ɯЬq(sԵ"W¬k@3.~b#)% P؂<- _e13LC!иݥ KÂ3-9Y'ոZPDJq (`epɹѣcSx?9a Kp栒b%rǢ0UVȚ~.ͥΞX @U-f+.1sV|Q Q+zD(a3R"o\ox4s؁W/#hM{zk8,kQavX֭0+FkbC)B[c*2d0nw"si oyKLPҷv"':Qtʺ'g]o'@.\$t/P>`_4TC.5XNHfEPk>p-u/&7A+٫_V\ey?Em`Y|uvS ΁DƲp}7tv0c!g?_.g[L;93>te3@N>K3`ٯI9Р]MݚJXe 2&Ol=Eȳ>4ШiQ:s0)]7󷇶>ȯ׈@ [ō=M gL{(Dsݧ(*sڂU񪩒L5CO:EmY:d@qm^Luшܑ(槄690)Ah]-w5|+۬hzrك_<{#j}LukSPY{cFy 5]l eιÄWr C-UfpκKEant~$!+i pWuT_y.Q1_|?,Feo1!\be} xk/`M&vFb=8?^wU9b,-RJr@diKC'' cUIO7f%B,h|W AYBGv&eT .,VwD?Km; fY\GtLkk"t$؈aIHIj\9D% 5a|1NʡDSQ%z+ʠec6SES7GM-{S[dMLsF(s5;9m 3<7魹/5a^*CN*3\l$ ,YY4jdeLj`{)R$.ab'9rDtOl^acUA/@m`ӳF1a\~+kM;Z6HU*|ܫV ȉ@q_c*"4kFm+.o/<\w,:Q>,akQGמ@vqt|ljM+Wr2ɡwCLrǪ^C^Pkʢ21Tpua%!|Z{gmUԠ-CÊ)sJU DXF/w,.5ee3W!8-KfŽz|7u}pBdž J,hH鯛(RIJ x^'K/ rTW灍'=d!Xd1T$ zPyC$DS ezn)_ i2>)2\Wk HQM!sœ(q.bfPϗ+@(.ӔgDT\9+,.晕a֚,LT">ѵXK`[b k;VEu+oiG9ZCJ*`dRTʀe80_37wVbT27[3@1#"GS'2tG1Xej&}r~zo= 9AtV3b͸A<|r+Ս04<ͫCQ~tUz4uHLZ@:FU{PЩF: 84 Zhek~HEg{25RݷamdkEPB+\jg!T\"3h 4+8.@aH񟎑/Xr{F (vҼh h+W1Rwkn*䝕Qb#]7DVIHf^T^:ԧ&j!%M|W A4mׂU4z+E'fҘ(:ԞuLychv5Z]f(lՏooYGXⳒIZTWۃ0o!? ס[A? ISBlOtf9PgTkKHufP~a+ <*9å[? ve,X:O( *T/EiQ1ѷ͘8[Byw $M?wMZ38HAN B]nST)"LF4 /I*m1'Jy NMa@\]Bl5uj!T$>j"%A%2NreG^8IʝE؁vU_7~g H~ת a ۸^&!pWbzއ|j`Io E(g W"P}NK}C YEZYx~@e9Ҷ5VdV 楎% KBy( |Ej;kզRqhE:Aޝ>:<˘u  %av/K~}[8O~Egț\,ya">{0W .iA%G~9ΘEw݆@akANeETIo9WaрD?3PzBj{µr C6VW?};as☎Hݸԯڿ X$3G׼ 1~/Xi0Pr"LbHqψӧ-]_SWf) haH!_i)7Vr;P&Ц%-.Qry+E͐xV~!bۻFt=+b`wkq0/.soַ9'EXW7!Xͩ;dÎ9. s1DӟF~n unA=*hf#s\Z]mu,L̺pyÙq7М@QRivKn ȦPa`#Re5弇.}֯17(jm}+5,v/cmIJfCy3LoLvҿ T4N'[4]%$L< Bz"DŽ_~c[Ui%rd*J7D㡫B7~쒣coc46 ?~LjA^oʑI6O‹:0|B;U(IYڟ UR{BB2|yq e*i# eҦD.koQk۟7Ǣ9 <`ōb^:g.ZV/~šF8 Kx-V`!{lI%ZZu?2eЀű_cyn+ 'glaZXDtnJ=,ad~{$F%-Jn$Wva$/1AHoUC73.F>" ʫ4eXB~ciKvu zcWhNǽWixjBW͒>^F*X ċ9aC3;x뼴d.؅L)^/KgfU.qjeHba4lˑ_p$;ҠVVM%\3=QbDK!23=l2頽aGO`Zi)mAV:mímnO#mRg)&tyAr\u4޷`LssnE1 a'r:l -x ٜ\z=&c0 H w!;;AIVh/`PSOffjcNBӈBʜbc:J`( 1%Ԣ ^?Z60d|dk^$YZ$?ufWŖ@IDS"h2;u^۩)k;'4kk;+ʔh@rQ]I^h5 +BRN&3 [ {EНI}-褥eS[)TD䂷~EP"C]OU`R= p ;yOhԶ|6*2$k@D8S[deMݢD2I#ԅz̖/f=,Q( M";tv=ë N 61I+jOX7d1Vߣ<50p5iGc+A Vr 7uv%g [# aVjQ:ӗ>|w?@^rW< U^T;a6iHiА+Bl3^*E 1x؈51޼p*kbUM(*ME ABӡ}?;`gm\n<7!4SM cO+KpcuL,e_ 2bPJסlK=Sͧm ~YUfه'2Js9ߵht~׸OmMȚ#gN7 (4$g:璣?#_# IPR&C+}!!:;{W,&&>JL[X$J*P?npC60T.pC@w1<6M L2OZL5tKUxJѹlca!) hA+[wK\W,|ߐ2I19D~))Gɰl0yj:0G_bUX .{y-yƞ޷h47۫ zG ac#PRk9l=]P cGfNƝT&64K1H0HYsL_,)>cM:*Ò着 vȼ{AhrL/[9:O8E_@UgYGKM-3CZ$ժS IcW8o&!൙VhcIYrU\vYh̵Uut{_32n %+ÃP_b[ ݓl/"Y03{nf>J\m^itqq'!Ӭou4N~ȹ|ʤQ&ZsݭβdCzbqO| kG^up I*x.-1{~9dIOC[!hT",@.6Y}֯:^+9 YIRzQ,0ڠSZaV=BTjR' T Qo 12#˚<)& G+I$ (el؉%pK IMHaĩςK"mf?d˾(' LKR0`@h3?Jw]w1RE_o&MGϟXJbQ`^N x1 "f~ VRrZ0P~LL.ǻI[%fA~`DzNn; de/ FNK!$T@th,#z]f֮r6 =}ټ|Tzȁ,,(xc4)O7CjW%2ah_1,+md>Nt /;*u MF ߺbZb~*)쀴%)YڹfjFTam[8Ois VNc[̸JV)I򟢫 fZ_&9RhUi r2y•!0?PHh=|!4&2݇\≮;HPoN]esZN=m sv׺ lDQĤ8ۂc[Fc3+mQ7lW6֚x{y>0GQ&ACa3:s}uff˂CR&I>Ϊ-2d߿jS'$`mn|9JEu:00vGi#ghk?<~J Ǿy%y]RM{H9[4*D, Gy~ 60r~'Lۅ$[}m!GP9QuB~hiF+`}>1;𦞟{m jT4n_u.V9`'1cJSDJp^T(v7ltX6>=g~' :h1Y ({+B!wz]j AJyŻ%ϯEKɍ^EDtM_苝@/j?0o¯0$"A@Ȱp=[? =֘Q;$GF(, 3a=AObyE*HRlއqd 7 Q]|X.='C26GYIGOu:6c /)Q]EJ o\pAAj򚟔Cpy*8D[Л ZC\n2SY*\GO [I2WdhyFwotc̬0kO ;gYZ01a961e41abdeeebcdaf87b82e2fb069d5e463ad 1a087fe5a01ae8a9e2c8195d00fc88e40eb6a861 1d48abd8f9fefff439b5134bff40a4c50d98e98c 20b9ddac3c406f522538c3a07f3efa0a334863b8 2c780f0242fb7f4866d0702d4e4671b18813f173 481869f854ca4fabd8bb0d128cf1b5e8b6bc29ee 4afb63e9a21ad53c0dce05e230d015d4d7950e60 5013b3c261b1d33a04bec1f784b481783381f1f4 53b7efe2b7e5e03364f5bff534d75ee845562f8d 59bf9161f79c96b8cbd9950efe401ea13d9c02e2 7e114da1a602d27b678e52c767c80244dd47e932 7ff77c2ba2e6ea2c8ed6221eb0b4b2fa5327c085 8971903c1f3a3279d53c03764d9ea5c44cb79fd8 959e721d7dfb61be72261b1be170497fdcf735b3 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a9bfb89673fdc0d19c56cd55b62c6b963d449068 d7dfd157b7039b399287a551f8d9b5d9fd64232d f4d842e067de95fdae671ad03ce727eb4c399684b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 6c1e2e695a2f0575bcb7e67bc72be3459178910787b1cdc75100632a88446cdf77ff356d9d66b1be