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 V=7) g)= #iǶq{'t)7ԚbN+@/2,qZYo;BeK^ET͡\ %c -aolEP)@:E<8h:0l7ŅqoT8dPPmTMLI? V0^[ & |9g9 fӓ: к4a ldprV:G%FQEL0JBTNT\) #@͑C[4\:<#|mTMƉTal}!ii^ԟ1xLuFcJcNDW^]PC:+2=Zmc]\ gjz=eWq|^T!N >ePEMPyPAT[EyK,bf[aR (uTw&'V#Kś~26un3q 3;*K_p^ .\| _Džh.I=IͿ.}(}gfiy$ڟlKәlKh4Fn`1i#Ig|xm2YZp,Y/z/e*!JrIqmGL0%M8ĭ.8@eڎâ,4F ^pUSA%G uSCٸCOe!m@I{3~kxMy+7nhfbof;*<7Rҕgۉ}L>.a 3M@9JuPbJzw;9ⰷkj!.3%\ϙjmض0;Fq}w,,#;?Q"VBJzefw&J/wΐvTǓG_itnpiؔい[gZ#Ŀ\3Qmw ǿޖ*<,%uXLٗdl^7%ɓ$ \l#-G2 !7dvT$TYӄ=ˆﴚu'ba[ٝ&/Nl]8j/$RH!/P^dbU/@lHuu*eoqu{UV2̏lQ08^f@y~"GD̳4;񃮥O2qdJ&WElUD'a*C1 o;~ "魧cnz?ǒ04'(`Fh0.2ݰx}[}9];}(9 .q~@dsnj;S=~(@+vh/lU[#[޷qQ:3zMOEKP{q(]_G.x=Izm- 9HZطmd0kxFdFJ`mZV]Q;#BeDR)ڨRf ꄥBhi$H,mUCJIar,sC(FGU!#({ ;HPqFC[!8 7^AE\P8{ql1v (d);'^ys'~|o(qxƹ߆p*Yݿ/`|-?,DRyAQo>՘^>O <$*uE51妌-vͬ h-m O0){;lzP60?9ՠ܃-m#FqU32zMJ='So5Z[b :i"̺ϛX GCD.V5N }3hД=r{L:5IFL#lНb*%w7g^s wUtcEWgWXAqo&ׇо10'gv4RDGNtQK4zaGms_*d6Ր~%XN_bDP`fGh~]ikQC݄UefV\:l8з ҦH")n9麿.o$'P N ke+к449;Rȶ{1X0j *n+:'== $}@+\ \#|nI"1OppZQCSkγ'WvTMm#VW ;vs U^ne4<'UyM𺹲5*p\G%ǐ8Fk(4ɼӐ5mWw݈}gx:*AiXxlLuh|fT '$qp޿{9fT!A|gpO>Ы=G_ȵm\:6N uC} LoB ha Q||sS&2^XA PJ$} 8/ "eTDj>)BVȪzL 1HO>'Ie#&;w&9:Vb: ia (:SzNiꜩku)⾫(|iڏ:Zm z+FPQW4/4 7zU<JWY`Qo2L`S!*ze6z͖6U 5!hgrQ\(T 2QoZP{%s»>JUi!=/eeСgZŵ^~ ]y Nld 1z/R(`T$.7 {ag xR ?e 1#-h6z7h%,+,_tg<<տ }`-k^wIáX8?Ĕ[N@5WX֗ Onhr%r *g-iCΜGpjfX0}qf~阸''䄛<~ O6=/ʜvW|S& I)U?yʸlp쐛/WmNm LtՠP/eQcTp%Tg87!6F%[21dC>` JsapSh%\n'İaAn-f+:@a|VW~ v:E. :L%vI5h@t?$8?~gzP)niڋAcik_1w ԃB^TGF,.S{~iVؼ%Kj6ɼppZazE4m4jpV~^,ai>hkfh5v^i øG D,M1dyyMar\A&IKDlfLx5SCc;ӦLs^A)sIBzvrF/$@4%0X1z{1 ~V؟ӓ.m ,ĥ+Õ]CH kU][?>]Z#{sJӤo.#B"69l.Be<kKte e9GO~ӕw|`6RekZuڃOW. I d z}82G:17%SA?t[#E5suք9(kem*#[tNYFv´e_l/}{c?VPVJaC~K 3 0 PדZ\:7 PU˄f(_@@W/s>Zh0h2JxnX韁o yl~i}$mjy5Ʀs[ܧY3]7GҵYXiF&Т-EUSEZq[GJ'7.e< ٤tuH/wXwYoh|(%- ^Ƴ#YƖHeVQ#lԎvC`I(#hѺOY *8(/;u˜KgT>|l1Y]jG!CW`B #fȶ|6+#|}\)%knWX=9cǃ@~KO@7zVI5ܼt6)[mUa +u@&WD>)NUDO EdֶtG7'gf2+I)1T5_;XHs[dy+ۋ:Ofe8P&a EҊj 5oYYʅ9ƞ桺X]6GU @OOe֙/Gs LB&Xskwo\Ե3l*'>Wto)*~:oզ3 IS)e=y[MXiHIVHKn " o@23GpFiwjuL~wJsv }"3st'Dm~h>qV$52{Zek7WY|cǹ㙍FA!$RlP 9-bsOWW8j-`DWFU{ ױ.B#}E5,x_\RgiAe2y6eL[S)^ DdI[4e) !!H%ͱ_+>V5QBltkpiMÓ`}">:U2(;`T) i$ O/QA9STTp l0@^1AE9Fmc߇팴;Q5r!`|̟P4A*hv;9zwXʘZUxi̭ 5rO{#L10j}"K}g>:O;jfДE P/m%_HwWC|V&Pzkp䢸ͲmӲ _w*FXxcLkKbsI.Dt?qtC2pz,*{Q^? z"Ù$Fp2q a)3߷)nx49rcU,*=S lܳ{Tdgj^#5uY3qGhhz*ß-Tئ:.3KFZdE6Xu訙~ƻT|v7Eё|qR`F;J5ӕ_'Β7 -{rY{~biɚtiXdNō:&8LT7.0ͭ>ՄPr R)4(p`@o* aaAlpbQhm:tiTC _&QS*w0nY7!죶 "eCW%`O 3kV~͑`֧S0:bBYrGG/'|8͈`>&4G?kJ1 !mVqc6}Ѣ\5"GQul"ex~!|]f*blB+ooaDeAaxu[є2DƗS[k|;\i8x/ш+0_ÓlÊEN3z [Ì25ަJqDz`D? xݹ"HL2o*FtYK[Y=GF$4$ߧd(wh; KwиDɦ:pԟHCqpw*e1)a=v~^F5 k0LOD2jwgWP$]!\k|uny'6!1Iu#: Qҧq sgv쐭۾W)׸D8=`xJnr)&%5[#{&O SufZn*I;$P8*ċlBgFjOGvhK .|S`g臩p8% $|γ`zL}:c< Fl(&.Af <8? h-A ;EG+Go8k,af[_a M޳ /gmA@-ͩ!HfAPޅrEB 3Bk.uTp&}-dY ;܂ė?SF IE-W;g JŘiGoCn%PgUe:lpL-sVJwDPBԩ .7|"ڳY0Y JP6K!uBԱ1%icΌ4>$Q:byn 2(KЅ%MD"rA_JQ &! CC~2$#BkDPop?o{욛Mʏȵ zV:K3"6ZƧI@P!Mht,Q~EHɬkaJ-ɶM$[dHi [P=@nAI-lFx9> eGBԝ&%fᙧ,P'{bpaB3X[Qjh[.J> J$Ѓ&o {L]n7s-;EM&bn}Bރ0)B㔭}g'߳ ywS/%>e8Uf203Lq0΃Z7!kn9hF^̤:A/3Pg[d8L*2.+tޗOLìcˀ- r(0Y].+5?M@gF'S.] wNpA(9[G*}m~YdiucLwzzZ<Ӱ |IbtǀA(.n ) mӋ\yL c6ɗ$8s\7%Fa;4H+O:$MdJn9z}Z yx@fx3\mId٤F\!p)0,y!񯒺WH z졵 XbxpDvCBdk^~\ۏ}x6!Y%rZMaRCɋ\b4:%8/X?gZ ^'#+0>MK H>9-,S9m~Y^? ȥAZ,2 W10oݝ0Wȅ_-괘h#I|(I4 u"y,BFtzWU=]!7"sC0H\٥}(N cHB "iY..]iY^,D]Ht;Nx;@Zh̘EݐySfFVХؑv_FMo8z=G V&3< A"˩͗1`FMdp߶{gb-I$Rd_L3]fhu/#ԢEC2sMlKA?mȀZ9S[Ho+'g7^;}E`hhۗjGhȋQw/喈iP VT*(J5lGx5{,w&e/1KVd1FLg[Xh5ras:}e;_X$q+`B[ F+3K^ ي$A@*=$T4_ /y,|Vmq&ij%\ ypb2]fPSei$yT@HF4(I=H"AzFqY[Ay Ps ڝK:;rdIK?rc'mQ|'3_L_FWUBG@>FTqk FdPAtqEui% pb&1z_,+PRcG^Mc:ܯ,lJYMAx#.t[wL2gu/F& DAĪm(E]=G:7.KT@"2!'|ZyjNSW/9:ӓTAKҤGԹ~v,y] Eh^ȳ?7-pQ.,N ZY:xx4p C*Z^k߯dp=N /bBFL1*GhPi{DJ3wv: wt:%%lI7aqGv=,Bγa̮:18:zHPhe:hH 뎸~6Z/CmGle:xcR[cvsVUFZTLaZܛFXߖ |ӏ J)?{Ɔm)'npuYTmNR*v{|j>YpQrd af$f?Э{as &4!YˣTixz6;cYvBJ)R_&ixs6r#^JA^u8얩'W,d/ 0 ) ߤp B7񟱚rҌt7~zߦbM.4LU /MS[1Pll5Co@%~#?[IÄmwWUŃBfy`x,N1Ã} 7#3i&]O"ԢA*r酬: }7ÈPh-GZ] |:Zr|]27Qҟ0SYC:XP^/EGKJD&TBdҥ3~X] T\eT5#`smf:zġpz!jRvF-*39z+_gk.Q;Ru^ʛf#_ s 5kz \_W>Sčhq7"*`KGH s ؄'RЍuV͞`﬚elϺt[;;"\{*9+ӤZ:. ;b)s-SeULR^(t}RūI $t ΀Q&-%5fdž{KbW) VTC 5!qʀiy账S*ahEWŖǩ } c3:p'\\|XyRE$6:9żHDl:߬`*/u8Df;u+yOSx7EKۓ[gg sh*OImvL.X4;j"Fr;Q)36~`jVIu8MxY$Dz˩kTt:{ 3Mr[@]eOh|~L"EH'V*cs)Oцד@$\5nVҰqlnw0ͬZY`^djJ@VEĪI(n YI%94߱NNޑ>¿y"(-8=.t;+#2X]d&'Z΃kd[ыԼ5kLXIO+b"A[Mf >$ }[z6,H< ϱYJi{%=n).'ݓ1~$%xA01g?vA|7X'/d`:?ʚTHE@֨NY%/Xkr~nMn&iYf̥Jiq`8FCgZp ]XAV6@͗8x& ǝ0 $Do r'媏YeL⮃BDUJksPzUZFj8h2&q8L%ߚǶ/C$IUD诧oE.NQKG>\1 Ul!/ D~y5154P=)/VLU}>}s8Ή D\V0~EVt |$NAgC8'Z; ;ѱj0ڶo#*);.j+&zCMC8(4.+fyÖb篮]Gv]owפ̙3g]#u97$X(.P@S hEJw^R lz8HI\Zh,ϥ1}ׁ'@ C7sIA*&گiXd?ӇL|qo)Iu ;of󒁖'4_ g n(|ZB@ʫJA[Oq-`X~C1{/u@гa\s eeTr_G~'@C0ҳK 8f!x@ӉL~Gp>/<rQ!Q߅.9UDyhFw/#Ɲ5P<%aS+!zӡa_J