SQLite format 3@ .  YYQ77Atableisabelle_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, "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 n%O xihpn4 .`c%l`D4LB@#>旧 M@Y.!AvSpWRjbDP=E8qK'g00MEMI,?uI!31¼pQ9 nȮRx3WP2Y< `bLkމLVe͕kiZL6ZMyo 36,Y);v_^N%1$\O;/Ud'd*^{;&i #阪Umky ~&m]U&$ rPQ<,C1j#_2+njQgwli|>}@vM%o=o)1Q)1C6RN^&CjD=?.*F+gx7fnPBɼ8Q j&AvVɏ!]M0 ZeWކ̃津I QIh3fůOgk@)5E k[S"BZTӸ r`2fihC77?p;B0 R$Sn< |8@uF4oQݾy˃GDG. Hvթ,]IQhP@"1Sͩ e<)vZ[IdK[nlUn(etk~,5Οa tSXoSFza|oWW/'-w{Q#L#IJU[ׇqWNt!)#=!TOיLrF;HVAW1͉zPpg|"Tkql ' dEEi٢Vf>)=b%ۜ=*5E/p@9甭J(k4t"݆՞("O#>D,gXd#tTֈ$Y< iXp,=L9E?i=XšL@ZHwF&B_׶wW 0a7Y1BD 68\"8V\gq y+1܇'2ᐟ脞hS7@ X-ޖ=1+LGt[Le(Vu>HN3,Z:#xA"eo7#a8xJ`8 !Aіz(mOza.C奈*doT(WfWw >C_#ɛn69߱R((I5% GqN/%S[GU^íhFD1!YVѶ) 0 VEuU򡊁̿+j'ƾ$k"xAnTRkwG9Gɣu7Y1ƮCma)33q&L%\j( C5Du |x9kMٟM ͣ^bR 孓As`r: ?8&i>SJ:1(Qg#WTnW!.>>* 00I2]e *% R|9J SQ8AHgO)eIS` d;!ȫng o|"n}k\R9 }pJM'dV/xұeAV1P2ei`E1G +3[a i t"ԋh*y繎~=w}~@9 Z.BPvhWD0bS6EP _ɘԶ#H!/^]!@fS'7M35{+ QmEKsֺv6uMkPp}08+/I3u4{6q9L\ S=wym{JIFo $`*J3N)o3\d􀼥B:BSJWs==MU?pk}8"Q{GǶŨ~_oNNkXӅqJJgnh7 X"5 ,˞ c3 vqZ}{!?hCE,Hř %:(H"1g_#TCJ\jXs8,I΢}R[ C#\+B:[ Ϝ}P*|I8<h8gYZ7zXZִF! #1]ŗXi%6y2-9>TY'U_qNЧ$H0= $#̳|HϼqIPzN2 Q'dp@NXbW\?gkb2: fυg PvƒPALX-v:APxv7#$xk =iJ]Bf:p B"F:p3zn]B*9L CTsNH?=q>DNJ0Q; 3Ǡ `BKDqxf5OýuuWN;$ᄑ ۓ=OT+hс;cf#78XSa0=<]%yQeLWTJ!"i% %Q3ht2rr72=cL}ο2+lc٦ZVHr#> Gv&FiL%Wֵ_d$Kte@YvQݲ4\@}vaΜ"ۿ s߄>Q|p")t?s* >w-La$1ײl%+=L).̮=n& 2^šԘå#bgy$|I|'DTL*WAX;>ʇ }~Fi59SHA(''# pH֕M ƆY2N4g- s:d<.Y*JS=IAnFSZLMPVj@_pE#ɳŭ~OZ*A_E m14δTp WZN*抒e]Zu%YRG,[~]E/{m^ W-&f譚F$m4[O˟49oaӂkQ@C%4@ץ໌*5+O!)}T͏~Ajufrwi~yϩ_6)6g=#ŧp-rN\pOU :w9Zgb(͕1D@+6x|ڑq'_ w*~X>΁Y/<Ֆ=p(a); cg[LEXsOד T0;=vy0*~[: WYDyȾA-XzcLu -E<2S-$n~nx,+lfqS:=@j"zeV{$N8-1hnK5_$jOb]oكg78x~'b(R%U `@1鯂sxd PˀtB;Q/xr}K^*IߨԵ7 &> Q2>ݟA񯙀!ʭ`HAsV\4f *d)Z89zd9ܣ\xыE#{/܂9kETMN432y+̨ @-ʐ fl ;Bq{,E;$ܬ:i;U1O-0BKgAzsˣ} ]N<΁y%Ի^cz_)o\VD˯ vSŞ@&lfł] .mn9P9wvPrq}vb&:jz؏ ؆a,;P 9ޟ\_Q*9%`JDs[l5i }>p8w? ۽n3⿩dg:so6c}MTE;(;D̲1ÌPJL,[\ ٸ9a7>FX?~0RÄ7g璂bȤ5Eeh뉡mL)aa n$0V] %I>g+t~`v.MٙA&;H k)Eu &y _FLSQ P{nu0z ;AvIrPu9=i>ahJBsЦ思*o2`J';sc]h/nf%d4Lvo\(fH1 Y<"(!U D*ky oETG ./2^m"VN\uԖ.3ҍ,wJ0 `b?!_kKz9?E?rK0""k7+ QA B,[WJњGZhiqY\4M.o\'{4)d+̀Gl_^r~mduD/7݁<c>׼NE;L\zTCby|/`iolc$ω?j*1 #ӳ/ӏo}׸yl` Cv2US`!t$lu%-e-AL|MWt#G^[#5Ղ9>j dBkg_Ƀdn0N*% ("ej @<3ʪ9wZl~@mg;˽\#ܠjFm=deśe G;h|"Y6*m#dKRμa؇1!_ $bO4}pi\oHTI~qa|k{R~#O.`W I9ii0_{~1HwE'XC8L:z| [IE#w |QmbQhkLQ yMT?[H*'^td8WJRkBux$+^O3I*&R{݌dcKg$ˆT[.jVn9TyEWd v֢r>"Q B37W,>S810vK3nUcHXcMGoF2)A= g.ԤtDIV4c '^{'MYl θ3aqrlO%݉_{}rg.P_<8I~T?~ k0 oZY9ZޭETT*|aP窃F{k `sY@;CU 4dG+KLMzVx+!GCo?f2]R5ߦ4X3N(@- Vřg''rآn%Nhf*%X:=n]s?U=\ЛjcصPYN͒N.`rn*vg髊C[1\?|k"U 7Ŗ@E+%m\ۛ-کա_zJ=F5z,fo6q%Ơ/cc(PW IUSbH][+msJ3F9h--O]RV1f5u[kq:2ЭNNyFVb3 Ük@B <& ϐIV `,d.թzD!#_6xf&m16qA8Njr Ňmjqd"jI}4RJ 1q&`>)<Jύ= XylzEg:y|<쫛CBWT39 Y,`ZA8_~}uRk9g Tg-)kP냾Lx"”\UNxS"2`uABpo'Ft1u:f $tꋜU29U56#t6L\V 1me s4etSD5̞c9PhKMBj8( /#;?r.~FK{U<`gtkvb>?>D Q4wԀoedЭ(tCE.gV.WH8sqk?3*w B":1KÊggw<8_.l!Q&$3B},oJyB>+yx%horcN×a m'!: VTؼO[!W]{mX|#~h@LS2\~:DZhuz┾t}TLsJt=i|̯=^yژ}~&'G˭/;%@ Q_3j8~r[Pyn8YFesV3s^XzL *M |._MT'5ﶄÖ #sڌfCoJ;' ,;UM諸Y+T8B ҙI6-X"czKd [| >cbgd0z`9^xA]1N̈1ghEM.Y5EXF;Gfz| ~8,脾zc׏/O{ZQ|``Hm]1U߹yșQ@tBȮREzSa!e\f[uv@S:uut)dҌ;5Is#Xl<Ð1ȼ|:ŗAU1+qOv}Sof>6#Ěxx5,D`W\'ڎj";. tsbʏͫS/b,$, -5aK̿zaPo嬝AX>Q 3qܓnm8/PbHu}<t7DDjuL0:!w8I{ht×6:(և=D;^ IoV.i gpgM玕FJSb$% +y҃^uvXyI֟="碆mTpiD2̈́Jݟ:n.2r3ޑ6[Nmƚ{ΰBb0х>o&Ϻx+xF&< ^UgYZ20b9e00559b220bdd0b8a94e8c2df1a05d2085ed 29b1adcb757fdb7e9d28c6efff1d1eb70f1d75ad 34d81ca068cc87ef7be1cb5f478489f0183d95a7 5cefc26c6e50f39b5724e1db9015cdd542a6fd60 6dd5ff86a69b9238d9abe8dea07eae6c0370956b 94298827e933f430bf7315fe94098326ca8b439c 943fefb509e307cba883281854ab1a1a408e7525 9a483d4b443c4d149ec2e5dd28c4447d01d5e4f5 bf70a041f51aa7a476a8d890fbd73bcb0d48e625 c1a07f4bfa062e166a287ed52cb6648c7a1a7c8b d8a57bacea585daa666cf09145c171ba9e61993e db191c00041ce1f11a3ec213443be4c373cac685554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 8d483940364623c1d30a3054bdfb97600aedce41 086289e1150ec46e778eb6b5a9ffc8ed2bb7f0ba 0c631eb2754071343cc41a6a6a6cfb81a4c0c49a 81599fcf1ed56bc948735516812a5e3e647cdbbf eb9579fabe3c517feb3e0280e9a089dd656ea2cd ff0012a791621f06b87dc8b85665551dfbcfc2f4 02436cc5e65a7580fa0978f7423491eaf6aea104 08b22d4a5586801660bc5cc628f1041603cbbc45