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 _%  UPF_Firewall:threads=2elapsed=133.701cpu=220.396gc=10.388factor=1.657zXZִF! ?]ŗXf1-/6vR[y,/kⓙW25?t`7ȏb*_sM`Mi%pzu Qk01 /"!:jh P,735)Ws?J=PR&zȔFBoCDbRϥ8WP:PZgw pߵyC]=@E*6!'‰{\R_w#)TEPec$2(֑ΩkxO @\"( t|)m[u7%:X'vqƔ-N)5o<&1)&'j/lm9j/ |J=S#Sz%L3;@𣃋3(sD PF?Ii֛uUˏzaqgCX1;qB\pNq0׶[}qGߖ]HV=GRCtY/74sxmF=ֻ5&6.ټ(ȡUf]*l`?m+eΔ8#{Wa$> A)ՆnW .VtF9B9 9%OoR!Cpf.6>LaɧrKʋfomE>[3mV}Mc-U%&~[x#0tR*)v mFrञ"RiJ{G910ԐRPmq[ $8O?paKpPՍѺqɡxO,Rϟ޼x{=>nj}˧8rE?q4/1鉭w6ljYrAV8f?VEGZ.T8# _:i.\Sڔ\p&1DM"&3&0QvHkdGfՓ^1/Miؼ7t~۟? ׼nCz Zb\Ih(U';[[e^{]46HvujL횇Mx4̈CRIQjL(ݦ43|MD Llxd$"GTGG3:y"gYZ7zXZִF! ~]ŗXi%6 N{ED. %ZJ"'H]C; XdIU9$-!#8, xw W.EXRHQ 3(X0 rL%srfӋl8@JgG8ͣR&y`S^3Y5ٮE!/Q7>]ol cγh-WYilG:4>'q6/;hDJp[yFS\Ct ȺzPT(HDWp:wtqfuQ$ LRT֥1$ӯޑENT_'Nf;AG8xZR q2x0[%?'73i(wX/]3iQ$sVf Lp~Cc(J&J!,EsXNB$CMN&\qd~M{kQ[g8~#Kz!&/t 83L~Iv9SB;ʫӤ$&zfžˆ^tZ~ Ov)Z.s|m@ ?fgyp/KO%oAqZ~ % UPF_FirewallTp luS1ESwimaE> 0KR ^#1Jc;R9r}T&,YDЉv=$L;A )ǡC]ߧ}4~6=}x" ј6epW,OCT: dG'J߳EV)DR4m?Fm:7:զ~=~4V׻1s˧ί10X"-ᾑ+ ~ʌX:ߠ^n%Qn1kr'*oK4|WgŲ_J͐ n9:5dr9Ι))x!dR}+Y`@DŞrLza ({FdkKHfeD遜3Yk;^ 1 *|8)H [=^:_t/!й_C ,眰vmPw$c '385k\HWkq6[6w#iwi|*;WZQĦ/`zՖ&ErPrheiz?k%)B.yQZ'D (XBB|٠ȍ?-p+.uOvups=SK\`;3Bۤ>)÷q,~™#s.jn ->Ӽ޼gO: Xk')ɓQ J ūE`38`΁ZfC8(/J$J)=dBSR]l Ԟ_ާef>R_v4֎%: IlQ|ӾAoˠ ~' ( kaÔ'ki`冥ygy\K"s6XZ`WX,vY쯛pd &3\I[i6VG7e򐐃[)Uv(v0Px ZEQw;#{$<-\ͩ4L$Dp:8"1U" b00:fջEUJ d&}=6 z#Ex8g2 3A~VRPry N /fhZћ"Tv@PF9| _OO\t[JN?= Gl,3+ #G_M>_UH4SPkܱdW584Dx^NoG-)a<+ CX܀$dČ cTV8| pH&āݽ ^Kklڿv=4k8 w+>檈`=ecPkkd%ޙf6ݒ7Abt\o )neÕ <뫛SK`т06+ #}@K.g ^/NKRtV G1mj`y!vv||fGA ; \PrmSn3:X3!u.SI _z@wS1 \n茄8 skЈWj!MM|bh~rZT96[QH%33C.'D;VCtck ÀgKi-Nd sת&z_pz)sQ,+Qԅ[?`{Yn8B½Pܢ _vԠ#.j(#iŜIrIUi3 |70ȴ=ȸ p[Q8,}4#. ojZ9‰^:bā愍y`4P@=s3@؉LYܹu̎^3Mnq aScGrϊ x|kD@A^y uG9P@pw߾;~e%ɥ6dDjqĨ1Cx7PY˽qFF/_*P $  Z<`#"=޹!ȅ.#sqNj8>w0̽JaǟDD=4kԄ/j .P{մ :ǤϣAH[p1Yt\_?KN Dmȶ M hՇf/ JMNYߨF{CDQ}^3|1/B\ M( $ $‘T:#N*/ܤr[D䎇u$xltrM5PK0H 9#@D҇Q'KEMO#$Y+jĴ7MO:|nكGh׺$> ov4tW,d%;/PQ-@ !Es;8e ɲ $>uzOdsnB9秎V轰;wHU3Q~ |\WYˆ`փiFO> Z[d,\Jv{jI{ІQƚGgÕp % 6ʼ|h$ 9 ޴+T޹KofIgN4/4Eg8Lzا"-2/6SuYz_/i/>Lwӱ6Aڢ)?|E68ػV0âgoԿx2<LTM,9C@l??jvdJF0]J!>p͓Ws9d]"pnT0y?  !8~HsNB5Co.߉9X>kRwL׉,9Y'&8yFj1#'1Ŕ+KHE$="ѧ!8vf3~?6E<3l{BJgf K? Ҿo߆Z/e n: #ZUGl`"./,86 @&_AhP~g4[b8O"poX6p7N2QJx_pP@etٟ~A: q?7LdVrحhɥD p¾azvԉm|˷mY$: oi6~93p!b6s*y)nyWf9I)՞״^ݰ<:2L&G}.^${ Υ|O2 }umىӐV4ņ>߁< $ %ʓo4kGr@^IN4Hh0V =YWgpd>iA@b AneQ%"-E)+1@G'Y`V׀2lcI #G XqG%ݣ1w!g/f1q^+齺:Kk}ڬl:#B;QU۴/R`_œtC\,F7-[SO; T 29{bܯé6t!S u&"q'G'%nmc 0G2|3ۥǐ$Ṏ‹&# A\k0Lβi QM{wPxcJ4cL((Zр0p?9+ē ٛ77/)X'r,2@ u (SPFHK[}>)Rꬢ`fSC>.r{hrz6`lڗJs!BBŠ(*;}e$f_PC= NPF-os]. 7ZĸH Y3J$6CsYoyM\<Ғ/h^r~DeYm1th;6{X_ey.-3NͿ+/s:k{'!uN L̹Jb g툭 nreJG$ҙN1@ 8Uߞ"rt#d6T֬t2zme+ꎷylF}̧<];r^써..VVM]̝6yI:w=X]ˑFvT kAY oYUDh YSxl=_%ZN/f]ڸ2ŷѸڄ|8vhE4~QIO10ǘb’iLܢ{g9Nxazp7+TɎӝr.y0$*~3q]B C8^(^ ( fܒD5<N)L"xm3{h`fWh4{4hmـvW&IEQ/ SH1-*#`ZySRƿReRt?%(SGS&87o7[jo&a?vz`iCA,;Zaiϑ81 PPaL VbQRcfӿxsidBҁ]+8Ih,gvEֆ. 0%Ώ'bg^Si<)Ԯޗ1 Ûq ! R2vZdb41T_IOtx #Æ݌zwӍ+_AjA)ah@wH{k2"ZOȓCo<+տ #syGl&xŝMyD?TY}m1EEU|_2ubG%+<4w%UufP̒*-|8z}], ~ c~M!aO:3滖P/\o|W+ Em=͡k۵w;5qS-\'˳gjzޒkM[>1!TcBwC2ow7} mq¥z+kG\y/=⑤WWJBJNdT%)C0ݪO6[ _kk`c(`CW]ӖN -ёBG2h?P?Z|q 2I{1E$jiZELȄtرşh4΀0ߺyB&J1kw7 kkdڊ/|W0WYlh^5JH&܇y:N潙#\NB:lBe>WsFbK{xbگvuAk."|u"ͭ DMjǚO޷@OP]lqfveV8*KtDi iL{)9l-}9i7ckFjaiYi[^