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 5
8,N`#|MNm.2rgi y-C.L =? S\}8M]ڗ9h0}iɞճ-;CBY&9]㏛W[w ⅻsMƬ p{P \v*B#zõŵ(mRs S$JVB|'^$A#'4C[ ̰!TO_K'ɿE}Hn>yp ,/ kJm[ u@+I7MECw>fGqWSj9җz50 FAܮZ> WԸp=ceϬjV[4r@F],-s<5P knޜӗy]Ɲ lTh|S8aB(?z>b%kY^~K0CSi~A>|UhI#lVc!ޙ㉼c5 =P-* v&g!"dvpߘqxoژ-2W mE{ &Q=A`=/ ע_Nщ48^p1OM B*[PAB"E>q Ks *R2O'= q5%"u%s̶ȳ$]5]r4Be!0cy(½\c'us/tVa1?I}{Ga_Ս I@؊ }7 A[n5H!^ Cr|q7Z75J4RDnL3NGث$8̦ޣdIs\+.PqFJel5-~rfQ7wq>`KM[ax sw-%p10W}oo.>bF g ,o[bn܅ p-*QИ9f<4Qd>=-6A6֌ݹ2N_y}BrVKcu}SE*rfއ3gdUsd9jcI1'8M\Q14hJPaV]%f(Rm fwHBdGȴx3Ee&bac.| 2/iZۄnЛHX6T@ !|^Tf^ ̨ö{ l?Vh\,sz^-"33`Grf>+Ttxb0͚o; ՘>Q80J`mT':g{5/~Xě!2d">ZcgN6}"\l*Afl6YׇMK'qȮK*]'M)j/2ps|oRw7 4;dϞ=^ƭbM~Zi:s0 NjVÑEkѪCCrn]$ n_|om4y O 5Oւj-*Rw5ͬ/G󔦣s3Ms5]$106:coWcȔ=4=<~7dJ7ޱjPDG`Zv*)mܣSɭ!3ZI8 ^EnZ@=hd80u;*)Sκ a 6>qת)B"&v*fzN#bWfk0Sz.gv&gj"{/~m~;/ gYZ7zXZִF! 8]ŗXiɟ ְ@HUIjT ՚oPY~ABVbOo<(vv=6~k*6Ť/OqYG t$To-JepThHweg;~w4 ԣjתkfcW+PE_۔ r+pU 1] 6 Y`ND] kYx@rKixk!>ذ6Z7f ұQ%zu[dƻBca*)>ݯ MJi^֑)X-Kfg[{CAHHx*nmE`R6,G)ӷ$+ۇ?0nEL.NfuD?`Jo`)X=8^NZҁZܘP4 5f24ue r4b?d:K|o[Kۥ+hz&1YA^%%[N4xif%$VR4B?F?:h6PAɣp"Hl,8UJwϝp7vWs^.aguIPesTeFR@6wqn a-d+"Df%>4c0 2ӗx=Zz;Pf`^3UOaDaK/=u@)DNDE1?"MC|oVdᵷÐTEsf~{]cuzVq6/l``7YSpuMlV.v X 薗=mW՛z,}pote=c&;KRI+0,KP9NFpe3OA<J0GZD᪪# ȡgp[S 0)眩UuMjp{0οQB˕5$NK ASv-ӇB7r:k$mkxс-`Cح4"qrq"sܘR Д;[J@_:_`7'0ůEJF.[qY\{rt@ߓ` 2leρ5}[_kq;֓GgZ奋ľE]Zq,(= jJ$?Vv Ba"z |bosDy^9f_3t?ȃ< ^Lj=o89W~w 7@-`w[5+h }P4eA*]hy\32ۨ[;l#[of*HDw!{s 9?H)\gY`Z R.*HY|ɡ0x WX8<ޠz!Ohd/kJ *M:&n Tl/'ch[@BUԇs_ eo2*YSm#H#XC2mc ^UA*69rU'*с&V2΍ύ%9њDMi;7Fj|•)$FgU:MNj `,b]:ԆK'Z&SxzVIG? q* g\0>qʟG}Ngpu5?E(\YjhAPQ <&Vϭ#?/UZ5~ǠJġ?ɵߤ&r #0L;mb,|D6MQE~Ԭ#WُYӾ9st3H3n1"2cV@n y70pEX&x]S|$*?uCFĵc+P3Kk] ExCfu7)ѣ1L]-R#H(i-dKjAUl~.Tjw9vОP:aZ[M?8&61cF_l:@W =3 KW|Jklu*O *"RӞY[KKlCČ89«3W?+jpأ Q66#WO7z>_ݦ{&[NjBYժ"Md{ߚh,WaZ'i1laUd[%_){T#n ug뿨[ǜa`tƨid%2mu&'+TM;vs斪#e<LU'v~i}'8];m˛^cE.J6@'Kp[ܓ Gy mYr<\~[tC_c4W L4V6c{𙮠sLH]mv{@}y)7Dػ2p0M# =+^܁Cy8($#hx\y\opim.L"4e[qjW` GJkHC:vయ-YXlʾWJefq<Ѧ6„N?-cB }˕6pf4X,,ύ/9G X.ΖLH[3K8hSBC5TѰ1T%h@ z;%>:;bӛ&Eg 9!7W9Ӭ/6ٻ=tH_냲P#UU%)A #v/bNUT8@ΐ\lDG+{QH'HĜ[>IQҽν E+4ph"rrѲ@#;cV!mV5wu%SGR?2d574jy<8N]>LrPY/g$cT"cF0@Юh,mr[C`@$Ŵ. q-Qciiv1w~V蝍Դ;)#)v6n9Ixxqax3}j[/`!՛*쭞)#aQeeq+_!#Y}B,ŝ7Y1ZɆyuWˢj 6sBըb(M2~՗jzڰq73c dF~I3wWWc=y yBZZ]'غOjhO۽Q M6$hXtSC"BTyjxA0VMDE (w)D鰠9ZFz k2|`Vn"/<׮ޚ;B6 )1WӞtBGk 60[,IIW;VHIU+?k?Er6عvnƭZDFHP""} ۇޯ*g,^. (݀ DKBZ]&II|O`HruJHpֹɓJk;-B\R-P)%B@ma qODiٰL^> JW #JFJYk-~oYuke`&P~@WtGSIAA vr'ŇxŰI#>q3y7dh{rm=./2/(BV/7_hϺ7[hJ9bydӨ̯y.ў9icZr+; W  XO(XlLYDUi07 +f 픡6~k2#3搑u^^!pQ}{ݼ;ŎjDYUˉC<4-] i* @!+)ͮbɄ5& gh͸ Vn*ɋʯUO ukdV<8Bǃ.{ŊO%P0L}VvI_"6UMl!y/jk]iz "~z"@rpǰhY 끎&M򋴧t//&kUPOĿFx9\8ə9JN<L@*+Yb=)T؅mE}q VKܸ_]!L-t |>.`a]2d> !rr2~|f3m܊I$V dR0|a7 0RC3S|F+;K&@wEQOG kxUҊ^\SMTJS؏-+ 7qlOzNp=9gOZ \~ @[L6"SGߞ0&;)I|׮×ibreL2@MőQPlQ: Xef<, .(?R!#F8kB7 ս\3mjB~p0I;(㫦] /Bbdiev9AՁ,N4[s 5?D)Es4WyƱd%s  BC|m$ V_i]&q!`vNȗ-!Dav_HU_Ezݕ2ܯz'@ oy-mBߠr4ЋՓNHcZOcp{jk[z@ $jL]Z ^4,gntQiwɂѯ6`o~GE"2D0uFB z $B泆O{P= ISNط pԽWIeUn]שJ{4*s㘑ugU&>a?0"Jh+c@&?AU 6ޛ cs"#r1lߝ!?/.z|7n(HwpئD;aK+Vvi//1 Ƶ%K)2 Ξ9K̲IzUFoE*!1cRPW\9]EGtow! >^j$\Bھ/͋͛Ƭo%>nj3Uj[zx?'$9Yp;4+"󸲩ZeV/OCu!KSRjƤ/YuuJN9 ,kwqz'"r*o OT&uC(tk dU9}Ө墮ߴQ}h4މ)WZ.a_g-ۆzxu4v7Kr\h1mnMB|(yY6RU:Q{JRњ `!OZ)rT{\x\[oZY4V+N}ĖuB5e£p#KvQb=\)L-!G\X $jU]v9M=}DA֥{y3X0۬Ey[ pcr"銙:s8vY-\k`9^ 2{yltCB,ZMN x\ GE`F(rtc+/\lP OVIfXު{ٜ67V)LP7.3rփ fG,7>mD5q{DG 1+t9cЌyHAtt>'eT((Vn sO ~8eNsW,?7Uc k QMխ#AM?cXI)ڀadyNIĺj~-sarK~Y&{Bk=P\$dmcmE(w-@n < M|'pM~'eF) a"yJ]ږ mV_Z<*t7v8/&i^g_NTya h rC(NmI3Κ2@B &:&|ZިzvU6]5Luֲ pIE Sj?.=sZA$N/׋5@4uܪRlU$p ֽ -ܷ7PTc8nrKyŻ,mr 0EZbl8nu9-W_|1T)2`A? ƃp$y_) E".?1ӞAɃ5V* ~O!Kc?79f.A,=q