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 8-\T _S Lambda_Free_KBOs:threads=2elapsed=63.424cpu=116.660gc=6.264factor=1.847zXZִF! ᳨%]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:Nb'W kNF4zDc~)w<Ż~nS?-_6DwCi_łc{ogC7 E dLcj,gK+FړA+Xۀg{Ia$[,C q"iwbsڀp6[HJ:)r+XK;w HFHm?|ҽ8A %g(Cvf@VfВ˂تo]RkE RmYJ'u7^7 [34#[Lcf<ϱ'ʼn[/@<ȅgpOgB49=6/qF-Lܑx(LIpsg:,:!KsNZkn]y:\(C 8 BD's3&q DavT% "f p'TDk)GNVp;nQ0U`Rf ";|5qʊq, T.MJZA Ӵ땕<{\\βx_Ǡ#1H:1±H:l)h.RyxLHer,vRW!&wΥBX(!| å\+6Rn - Lambda_Free_KBOs æu _B:MW'TG5| iDRհLk{Q_nCg+fmq=!6`oBj]2YnA'lLTb3FY(Su05 A 0ot0o?Z-eS=k `'kܧf=KWUeKyM|]x V~5+e Of8őuu4M N WHk?AQ; E+Ò*̳P5T K$p"G#*(aT½L#Y-≒+g̑cJij?JSbJ c]vdBΨPqdp_yD&bb{'p$F<0ڣcү*\w|$[tV )3&s)@Fk; :UWpsvava*OX3Ô:62E LL!D QB?so?רl Ԋokmn)r22r;ueϗ6Yh%[J0?R=Dt5<3["L]\@D:xY=O3Já=|buGA yÒ7N));X1ґ}`{nqU)Zx5ra"2l$ڻ gƸgvbNc[L9L" `Hu.9) =c9uҕz`φ{! /$q/+Y "Xk2vwC;]j\\:Nf·b}3eHMGo"31j6ǝό.Ȗ>KGl"0!Wk& <8J z &_15N~|P6O53 %UQ3S{X!A5%{ֵ蕹73mf΁$K  fZzYvDx/!t/@* J\h#Hn[;s!$c]FщmZI:Faz1mZigX!O]s!| vl@dȱK^n.zeP26 ?r")PG` 0$Lp@]jYo{u.0``eYv QE-Nz\=wt!ϸɲ5hLKKr]-0 r7dmSh#kO/m6ǣeBl^&*'5%lC0 O:-j*f;W8d1LIx„uiS;/Zʗ$#lL{w9LjXcj,GtgJ7RȢW z R9ۅL< %;w,78&sNqV+S#nPDbMj]\ڇ6i$z #rS "ݶM@|9r4L8AImʌ /kU8_`]ƴf[-`AdV05g S܂3hn 5ġvJkot?!uʾ⮴U'D5b<3[q['!v6< Q2 mLyOyxwD j#ћSU]w&Dg?Q 6(hgc< ˥*_G1jw߰=ր_@N`rh{X!#vW!UE]V Ys<_a2N>`rrnh^5%;fe5kyW+_5?Ϩ٣l?盂2k &+HCXT$Fk˚CA|4T_*.HJn5G0 dzʞ&ܣj7@ܕde_%ۋ aKM>x^ya,DZլ9̥$<$^27y気 zNwO'j3Cb0Wt[hxI)+흰0(h%Ke;$wGVBXBeydqYBȂ҇np+-^II1Kybͧr":€&c] l9G='Rer(p%* ~$A5@9Kw!+ovoE 0KPoFWίĕ`&!łCe5Cԏ'N_ Z%%-0cfmڲGT;fuhFOZ9udnA4nҕ=H~b=yŚqJ,gUcPlēG˝ |Rl Yt!o}G]6 )b2߭[S3`IK6p <ʕ҅¤cbcK$ ~`_-ppiFU"QmTh4 0dI=б*O1 ԛ?GٽE`O@w7)z'aրs|YnQ*lhwEܻ;"9n1Ms̄E,zQt:t+MH-ٵ{UK+#FêC]t&"bjY ܗq _ `P1!'߀|9y[1EOG6 uJJ԰K18p hji%YqhH +3i$n3dAPG/K"C?rZV,=AÐ%Yق>yz%cZ)!\Sۣ&ܟ`;?!iƦ" T pSRo;%W0 Y3PPoߔ?6ihs ]n[% !(FCn2)`&YQ3]Q`8WQf9wk$O+Y'P_[r#dֺD`{Ia1 Hf &#s71hSXCW1Q}I:_ ú8qH'zKٞB/;)<ɍr{ih]} & * ɻKd"py0 PXx 8B0Lw3X*HVpa)j:< k9'j}NL`0Kpa]Ek;ECn|\mD&䱢Ǘ̢c*7vәjbDab%HЦ7xBpJ":LN鐟(AR'-=>3k2:g!мf{A0YQ!/ֶr/7)e*2 mg@fm)d}Qr S 5> :5)b4LF膱>K?jo&u%"z%Hu@u%C=GVG]]M ycB], uL Kg /YTrq[!8[YJ5ϜTEjޱ).˒urH*A30dzfpf{m@ Ȓ ߧ[`}3Wm֒ʚ]M=AoK(W¿\eWw=+zL>tY4ZǪc0<6/cyBE-inKei7~QK w~QRG001 τKt+ 9^nׅ6줭  j0Theo] "$[Rʞ CA"}=?7Ӵ[(Xq!E3Vy_m<ǃ^>fH_o>Jz3KM>^>6+ *)q ݉F'y;Ԅ+X8ljmt[a;5& ,v2+д*cGf稣. ~eB焺u nkT-$NѮ ba+t=$ b!RUVwT+Ve?s OqktO'7 a_NlY:'S~xO1lȲb}"zӐc6#ٳmZI7 _swKg"MrI~=LsnKce =YT\LX|HdM`A_|:Gy4M%&mv,%uJ< im|.fP.7x nvOIcͅAw pz yҲ2E4ei;fF@RϮ\ K?SApְR" ¬#N:;.Vv >_"'18-4`tds˱pfAkWg[ϙXK(w`+HzŪuSDS?`:9?NKB|+_KZcdǁҹ`݃Ɏ 0Eŏ$"$zu)OgSyKy` ɻKGѭMÚΝ.V7ip~ߤ+׹[t*JGR ?Cm)n Gɔ,0%wFk] o+>=gf#LKqЇ_yֹEO7DY$9/gr ,;Ubn>яP#eTqƘz uѨzyM׼yBtj\ت찒'G,DnAA[s9d,[ )1]HϪo(=(GɻRę?_Qa ?a/ƫ]菻gGNS՚߿NnD}!|3qIQ*ZC }IzU$R(&8V|bKpiMUzq2OmUIп/sq2{ m49JP/:^nX;TN|wI"<32|FqsǷVC9V0( 9gρqeV9S$SjdI*M,&\eK-Å {m57Sz1ܫH_1}?AW;%`J#GTZj_D!W;qe}E]-8d>95ui[` 5 H&gts#jq` ?ˮ8OeTlwџʨ#6(;OkR0B][ QwiتSDtZT4x@CkK[FEEF=*=78vg֘@i)pz nX/A\Kl[NyH:JW :sP>`gB!Lfɮ̂ulS1g_cV.,Ep:8ce/*TSszIkj]ޫxH!?u2++ cȢ1fgin ĴOԟЬQsi#'u,E듞)fkBЅ  }Ǣ;79F;w9 C K\\l#^ gRL.3O} H\.kwb _X{ɷ)@ZuO@Rѭf/[&:kV>G9rvG#7b?>%Wis1koDtLܬU)A)81M=m.yG9LjR~] fZY_Ȭ18:Mzpr+d=("Fc e2cy*' SQ8dPC Vٵ zà,ܗY# %s4fѫ"g:(4WَHVFZSLv%;ڷrBi$c?P!~ↂb(6jj.q`CGdBe| $q ]]h&BHzQ:y>l6%KDHάD/Fc3.@:ZVOpYwQX i+'kXWѰmD}uB \L8 pcb;u3_B,e j@S2xڋ5o|f7z ߑ2VDS#)exN׉׸Ky6Dl8f$] t}Vw9]um5ɏWțPD3cQ'utFT+ի{v9f =&/^V_b+:t@R 1"h(ظO29_}K8 ?,3tU& FL%0ILIl*Vl׋ ;$Dc2Z0^{2ʈ ydiEqF>ʮ'2KWkKEMayW.yYGO*joAg~ !گ?_p(c_ⲖAZ4kAR9V$PgPM:zloҩ]c" *J3ރ=`z=%'Cb[85# s] y)aW?E(Z}Oď.76Wͱ 7]N?w}.DC8Q5@7R2)87K/T8R3dѣݕ O#m UUc*aeY 0sl {T!k#.`\dl+Xv9'@[] ?WW>#skYDX1Ο6:HklSǭWL=}w d,߉\mKMߢ[Nts]%z@h۰+Ɋ" #1'fu N}# z?/9.\>Bk=5\aO~m~RI)}~!#W:$~Mv& hDy YJ%,]h~S^?Ε ¹Okr`^1 T婳TW)[ =1l0nJ0F5ucјtK\P}hI|R|;7 @X@>{(XDz<*EZ$iWFU]` |_RwzG/+.Ü ;`Jk(<A\ V?^ZS!+cCԕ%#C7G֗Mf~䧫 r(a$,ČC,7]le񤊎acy!HSo)C&zIv]s[rmB5oMp @z(z0`VSVN1n 턤ric1SfÂ9 Ѓ Z6ء-c4W®D긯\rU'Źf f绎Dqhi{M*q,;h$h WӮ dU'#P9n`(I-ƕ ])C>3` x&gP&)L0Vҗ&+>B/Yat| ;,4cUnۆDL8J=~#>eZ?^]y|ɮYX8& lSjqlH1}jȼy} G>H vz]8i5?e56qk|NcIHw7uC4O e3p'12߲iZPkR,z38bWRM$̊b */4I@c%c؀7;LMeYJ1DZqiw z/j?+qd$ԡ} tE` iaзg9i1h5vXB>_pV5᝙ (iѭ^,-M -;דtKbx%ٳx &vp j d?RϞ2tS3Jn{)sIg+D+U ]⎖JY~hϔd.+EiZ6A{Z|J̔=c<ڄ1ӅCzsfb VTߨ77>B/X0?c{ӽff|>OiKcަ3<teE بp RzV1[S ?@6 "b}Q1T楳]P[FYN+v6 `{z5sRlƏ 1O(5+g8xjNbB ZCIw;HW:V[[dTӸj:X^P{:^B9t=gr"*LB2ɢE2._a"hP[+z6Ε䡢@SE$KxQPv譅k,llWE?RCM '֊[J'hBIkdV>qa9Jh&^\mEb~JZƝS;>qC^lv