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 W/| ]/ Featherweight_OCL:threads=2elapsed=142.189cpu=275.520gc=12.852factor=1.947zXZִF!  ]ŗXf1-/6vRZ9@{q$Sg 7x/o.Vup<`PS/-<ߝRah8ڝ|&JV[)֎ercgؚ^!2b4N?iھTa&eiPkS.md}?5{zĆ˟ vvLkP7?3=Śuc;ߌCAwElaw0 $:Evboy)_w)ڗ1h\ee%Qjq?5p3k_h›h\NyX} 73SCRy9zsޱqgFQKHNd6n&oߖZeoj%۬͜8x,IW&V(p^KQZ=m]ȕ SqmqVۀc81Aq+fߩ{FoP33552hV3X*[gG 9!@pTʙfo}B4'RyrYf ΂BDcű0EeRjGIU;C'uu({(l *.0%^3W7Ѡ4 _T'QgyZՍ>/L|12[c˭Ϣ]'щenTFt=;9iV؍ HYMK%s,QQZC$ l,#I K+p`Ϣ8v.\,> |8r'9˭tNׯ̝9ouf;K;­^v!hbeW'_X>q]XZv`6̳J+2)W7|)h=1(pW>57@}lSܽ݌H5`K U$7[[El }z.> Cf;JernY};ۭԢt.G[xcsEF lV@0@-q#j6f຃yrU;olG |sftlj`މvEe:QUOD Y V5IL(4Q.)e޷?냇 kW7@m|Ы<[!p:KPA9YGI ī>Z\^tGw>9!1 >KT^N8]"ƨ#hš! O;Fyg7Uעg 4`e Q޲Q T(\>dEP~ O-vnFy$2 i4 p5 |]2Az L3=mMT ( yĤ{7QHV^ܠ6px7L*uMسbX:.w JvGl]ͺ>7]٦o)*qBۏjLV Uoh_g#x0Ⴊ!(N̋yWDE2zb=mfJކfmeLϳ2|54)$0942exRFaP gWx0ÿn[ο֨QeWa40Я.;Owec[ zu_ySLe%4 cXq#x7nl*V~vPz45V#0SGܸ~P@~0fG;ք3j+*B3Ͻ)u4:1k^2q>KVzJ, $v}Lrgm< ҡtp‘*N$=ȴ"tv%Nb/#GCXǓtq Pjm7k٩Wt,A_z=W;TM{[^Rn^xsç!H?)Rݰkw῁;$Δ߽<њY.+gu8knح\͸D0 WY{q @/$=eR &SeNBe?ZMwjy!y f-8UD >EX Hn`i~"~K;;!| T *,wR q5gBt#|^ he~ҐS{s XOF~|U$}M_^[lxk͛\9JY᪩(HA~*wf_>1t0C A hO:F(` JLgYZ7zXZִF! p!]ŗXi%ή+2O̗s5 6Ok6D> dt#h-b6197W13#UZE*6ÌiC9^ "Ӎ ǢWL*gqw*p狧-ީ8z͊bHZ8dp@ySavLFd#mxnSnZPZlhfj]3y.&;)q9hۨ^Mx*36jK[z=j\-T̚0w}ein  <_Dnn|WNUh:=o QnYLv`6vbcL)4h"sz6पrFQ~z %mtSFiTEėSj/6#DxŪxIƭ40s4G[ { #,uņ (esmC"^! }ꌓ+> d;&2t"kY Pi~;31^5B / Featherweight_OCL-1EZf{h8'9CתZ|koM:7qgw0.Onj%TA_FSg6 'GT~Z}UƁ ,lZO8>&U 1ό<n}VӲ~z)5e,餔 C삤8PsB⫵)b~Erb5tn_Hrme+Srb -KmҔYiq^q|RޫBi|h|l)N9lҲ#;.:}jŀ֐һHIuWƺzxJ7uoQX0Mn nإ9}'*pjӸdטfʅ;x[O/ȮևpmS ;7='g,7 襪`U֕*Yy-zig-v/djpDMTFsAC18 AsNYēL` لQ6/8ڎQ So#*APRYS#'Ax) ̅@)M BѰ@uάZKi:k>3#sY‡.ZQ~4!IuShvv.J-a/9&bl3H;v 9 bsC|#B(Et@IմB"e;4X])lƸFLO-F`wV Ջ hL8B*WL0ٽ(,vm`FN+b\xo<xJEQON)0\l/YV&/.gt juh|^&VP>}[ԉ7@X|Px5O.fӖ ~D*B_7os|`2ƊO@Vt%̠3rT61i@oPW4b}sQ+&=Ə6dz\N8+߹jTPq X}hlAe$q9$>bH&VpI"{"j1L1.I!N,:і a @+j~IKDa3G{2 jĝt.Ӻ 9V 1} (SHCHuLjw M8!iDr61@7S P+_ʹ@]Ⱦ%v3cn `@DQBw W`SCjoZ;QdI|ߨ(2Gxee!zyJIJbq?hcw. Zzswb`ܵ{(ʼn=SpWUB:F}@;܄ gZ|c 16#s .v`s욣y-//DD(X- NdV'sM"\|p-M9`h^vhj/CHڞKkS+yQBn?wW74a؝d^ Ì(nWv>\;1|E!C;Rn +IGda1-,B=wP5g:B%Xj7m1ϤCд|uB%mOexb0zD`a!\:%թAɧ^na/G϶7hNA-KOvTpAhs ikkxE}]Il..x/~?: ST+w")՞JJ=-OIPgW-J ]Cl0?bJ1"3'9O8$D̡lՕ)^ِŴ=9&Mf}Y~*-PAC0!lφ&bl v=-OH]Wo eP+<3tUSBk}Xkn,A}D  '-!VPc48B_kUDw}!aLZ|0}()$β+a.=yܥIU'))jMV~wRB\m>Z_1X|GoMWMmZ@2!c,9J2 ss<G"V "v3m!uC"*f7nc6̝+'G6WNM0ݴ%Ur5fݱU1/&s\Kl DpW~t2e* *Y񧹌3R%DZ*I#S ^ZPOTz$ܵ Yru @wI jY]͗ѧxɨkzuv0v渿S2v8bbh-c\""UԉvTL4жfO7sZI9?>upZ18[oTGlk*&dud5XxM  K^zo#D(-ݏ%"KgI\j4InհG)77\y8(NKtm%_ HVvØIN'5[$e]e <=D!,'R}?(yE pg(uAs/܇IH6&u *SږPz0:?-;Wx v!e#,Hf=X+z.FOh> pUÑ@|Uj4H\Iqd fFSQ2~w m\6{)7Uh~Mޖ'swW/Y^{PWЕ$VceWH)4S?zrvZigU[&0Ҡ|Qb`F>&@Q^s?p!T1 mhs-en|>?;~ %>46 vṜiR Vv>48a 2&5Pj8V^jpQ]#MP PFD*F1Փgjvdltqڧ9N8dI?ZG82h|AW~ӆ$t{W`N. gibv+noxe) #or ľM*Շnvki^b2 qV4 |A*JivsFz &5ov頶w^|4OR\!ŏW[bˈW)z "Էx(H/q7H1{:S^z C/q_5w_Q,[՘*cdRl k5C5ssXb_۶ZEmX >o$4gC9" 1o JzC[T`̅THDAlJZIn]UwdnnD~eDht#JZ]65Z y-pTW^0@~zgm NlBMT/W@MPuMl,S8EhyjCaX0l|Ǒ݂#w] 0]8+=*5ޣB!o2 >32_SyuR|ڦLN%J[~`6Gx>s{ہO@oS/2& jX0k ]ZwX g=d 笾Lwa TPc&|'#ڧنOzecz)lUkBdӦe"h$G+D'ΐaWk3[wv/}4f_݈ > tȕKi6Py MO11EqlqxaņٸOr .3ۋ9..\Z~$M01=~`Łt?} ץ)EK?QZ:Mװ_5%Kr)2PqS(\7h},'pk06u=|==n1ɮeyJ|S{aB (R!X p]ͣ/\71[noz˻b<3n,- BWՍ'~{Y5/PzOz$m\s0!V@Q3SCg71oLJ)0_S#9J]bcKd#{LĶ V؈6EvId%&>'IfmL4TT ރ2g"T7ð\8o^FℐY3'dBU8 "=J]!e:l`'Lį=RP^4%uCT*a=[ȽRKz3 Jm4kh_BHwK&4?v5%LZr9%f_V".o ޑqQ-ck#(]=>?fF9{|Yē:q|S.l`]W{Iǵ@wGfQY!MN{m!1iUpbLd}ΌPq,d*I~h. r/F32mM-Tڹ_%޴QbwQ4وgfe)?/3REYf4",_L:@D .z]):[ۭ5B=3ډF4IQ;BV7Q tt-*0K|U1am\38Z1ӍDITe,r Rc&͌"DŲ0rtRq@wƧqݝ%pGAkCAlɒUKK<aVqoi9DIl-̩h`QL;ͅ$ ֽ$r/6 JC=W 䅘ڑE(llfgauzL!z50iqBD,3@nbS G6vyĔ!Z=-ɐvG99]Iu%PB.Jp (_WUJT$~]Ҵ_Bn>&y/_&{|Xa/G0ǭ| U#3F_)yy) f{?{AN2H W"rG0k7MZ۰O|۴L.܋m rwl?Yer?KTL)Ha.Q4՘oRY .Q7Z8ʼ@27FN7`ޙykU7s8˾H';y"tp StۣK )qruDUkIצ r.|ku Tm$__^g6)ם^MPj/ -NO~_p'/PXs_w*JО?dC(3T,Ʒ> V@}-]^ { {B@wjǦ2iVg5aqHW