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 Td c BDD:threads=2elapsed=73.509cpu=136.340gc=2.392factor=1.857zXZִF! nu$]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtI} dB'6h~d$NJkw4:e@GOsKH^]=ർ!HZg4>( I^&G0u3K9zg#Y?r9@hȀDfb}ޚ_Kzgƭ*^vڅ3gg vv 48KP&iMUNtCVSmnRy@;ؗr=Ec .]|pAժT_ @k/ 6l@>{|?C]:61fe᝽SͮHߖ~ْ9~ʮǝoM 6ПZÉs=UrP*t;7J=BQH]Z=S0HD3Vt4|B4B ^={a. Yok]ǹ[_‰7rKNCv/t[Hm>es0唔Y.]'%9tºvsc]5?3J}Bu"8zd9V#"M~)fc*l&1?$P]M؉tCM fy:Q9dLblL!p˘  BDD+pڇ勤L9'EZ2ƃ0dCzC#2iCiΪ;3MV~UkzJXq;{.W$7󅺌6N72Qhl& j Ne ̡Q}23(v&߰U^׎ԭ]ȂZ!=1 JLz ([$y)@J>`!ϢCF^*Mfcyf LjOA|j睆i@īXk/%o 28(싣~(o W+}i z-,Gn`2c4 OhRqꞅRl[׾:gQq d -e%D 7cbfӸ{S*x&ԅU{]q4g"33Np*3!j: b%y#+4 >qrânZmOdl-Y{Ӯ24U>rÖ.>^Neq!UEQmgvG{2";ĎNHUH) 0kT$ 2F7A^ݽbJ~7)=%HF\mAmsa:MA{.029 v2s(6`95K6QñȮ`u-/$asOڬh@/"FFгےc,ǴH\E Ϥb"YCpUFdm5fhףAl35Γy;qu1b13Sa<\P #4fy,YABڠ zA@vz'b#,#e!jzs nEg,~brSR>F`xyp- Ni;`!}b:]Q:?0xOAw9\Qz\'&G@xv#;DnYNZG.+z4 <~l A+LՄJ+{]h1lԄLA#k3wl$~NEC%_M\ && -]p\aςBYR}qwZk@74 9:>R-Ӵ8^? -#`k^|rJf^F^xSHvKW-F*v-A'Xi~2kSE+10`4 `9H"-ba{K1~mI@K:SV+MͦS0# rLW `fu$ iYfkhMl</:6qd(J'f쒫t1r$Npv%kR}Ul 5ݶ^ ^OKk(:~,:çkm]^0 'w"{F1~I3w~?{G|[(-`6$07O R3-B橢/bǮ҃8 üʊږTlLQ^ ^uc23X;d:W#+AHƼ O֚_(Tj%khvna`3  Kp.|A=[?AI,օc)T&}3 !d] 3i+C`ɐ}n8t0?4{Ԑ}i^8n~tFY2u4k%<'Gi)t!tIGʆn?J(- Re;5@38_(jKߪjO8|ZdZ[`5AJ1~e-A/ F|~ot1ry[`WBdTcG{o7ESC0جVLsz,]lr0>vP8I`!)>#}Oř1 ;Ltf;*@O_;a]MsIә?`ܗ0uB*΀hh]Ru{E@cmͯES>R ;:vt@RȄQEpcb ^8FLZc.(lٷD_vH#.Fm{/Se@Lȗv85&ɇ )qE`8/B3,ίC c0nmA؋ en)q+y+;(ԡLYN‚(Z5fUCr0hg,, aISj0 w:D YilT?'D:F_`A'R,GiȤR|˫э\9cGi(WqŎRZƝ7Fv᱘{˭5yީms %د}dfS2/uBZvrkZw r \`Hr,?-}rG,J,UɎ9t[=j-a1W?rEhs"qa:e°?jy9}\}gA)Fat]D63Il&IQRj@3{Ɇ7g&aҡ٥ dƲiqP!d1}ug%)y0UHZELXE|lcOԷq90Ca-ŮVzEZi4 Obɟi AYͲ dR6 ߏʧ.Hu@|]0.Ϲcs#g}r&|U4y黱0 H{SMS%rߋ}g*"Vʭ yۼd{:7uzWa8.\/Lc&?JLCa ykJC0fZDt8ʀh'<òH(Tz$ߤψLd5F7A1 =|o Z9˜#Y֜0=%Zx%%@I??(|FACjkx ,et>&e,1_L]tU<҅wʇZ@nB<ԦW8/#!*h璑IoR T꜂I"Mn쳳nf5e2|L A @ཝ=]6m*N->kNEw QІoiЂ.تTcrK +mX&"Zo?%Eb.k6–7LdzSVoфJjJF3E匲ηf\pvاH9q f,E/ӪNKw_"r`e<'Q7АSL{ﭥ$XT)eR:}\ݺu䗊 ݏU *وg 7&~GE raw-K\ )M7LJ9<^HTʬB/?19?Н%c<\{~P 5^ݮ Gc z k ]2cO*ӲUnĈ1< ˫u;<7rNV qjJIr(P2}QSpZ&jCI}k?GNZ,ckGN١ iw, цMq3חn!2m}O/(p\fV#|S$WWn79;LAtvgGH9^w;{samE+krؙ8`[98JN%$ $f+#W1F-JY_4e,bh;h%!3qʭqv.K28[Wq' 9 l.CD,z7{R{Ide,.I 77hg4$x$e X&1Fٳ[ m*MYjJU/Pg偾qxB&f^.ֆZq}j+#˹ R#,0wGPh '%:R76U0P5&rr>s;Diq OӰaS NY6Q]=Ƥz%~eEo,oC;c<'9N 숩@~)"iUKR,⠐FM [6;NŽs'=ol, vzۃ6Cqo](+`,U1Gs˥4bHAH/5Tt:U `!Բ2)ziyx`ҁ?i& 6[A `Be\Q-O6dkڂ¶HF 2ԼT\ NuIr,TwiX+߿=SܫCs?8T{$Bzz ͷ[ \om3H=8B!^]PsڣI6f\}9PĈlɪI|[f7u۹ǝ|8ʂMgj }CUOf:vV^ s9M=Rh_S>U*@gY4*摪fHۉv\9Ɛc@풬:|?)r7mۏ1Ytgy *$qe; :(SiT ~XELpȲ76&L YwBseW a00Sc;px3r 4T6#Qge<"X9%%zT ~d£(~)K;sT_Dz؎p\2g@!|MxB Ds>M؇({} wߣ6%5gYZ7zXZִF! l?]ŗXi%zx~y1ifP eƾd@yz>?د9;nܨ%X()wwxD5L)w\X:miWHae] Kt/pNNX!ǽH'-N;9&L+p׏]ejF^9?8p)kuF+zh 8_p>r>&_wr&2qT0 tdض*nKigAG{v%l! 8}^h:oq*Tld?^Oa2I1yI,a~I30فܑUWM:GGfDƜc;>7e@L}u=g%BؒEYzRΌUnx%i\St[R/CQ>]Z#e OҐ1(ԟloM#8Bd*\L5J6WVnӈfa Ѐ*̾<)PD&oQE%pYG .|aAHP~tT≞I[` nEkC@{YAr)/Fe%7PX6㪱DX{xd ^8)T#,#Bt(TO [ {ُvt1mEQE莜ۤ,b M)6=jyZlCǞ@|I"yu`1CC$&R< lllB࿏RzS5r'i4H=vs)`M߁ʠK_*5r7:sJQ0 td TfŒe/fu՛+@NE咛i@ƵḋY3M6Jc49w) rKv".|7qcȵʖ`H[,^Q;jdԯ^&Oa?Gf e|)>߈kaP3o g:kWbld6_ΦY5jkd3`: J}-qByd73-9D!Pv-;Ls.\ޓ,eyhnEuNu3o\'6͹AmZK8hQ$vlB&z&K%8YQF"{?$~[fٵFb i˺Rtuh b$uƏAìջ^XAW%V/R* ez*$\27i֡tUЅrGj#xyYkB `A s Ņٷy3-+Vf;g`%Fq'J hfS|6\j%8:8Z Uå"JBȋ+ hY ;зCXՓ){ `k'E~^Ay 8l.}o/8SDz VϏ=83gw_X1EB 0}G5ӎŞ۾;A"yI>dYPH2uvA#R.9T-.@3;U Mߊ A o:*>4WG {0-Cϡ6sgǀhsŴ)7MV~79~eC:ȣu5r^C3_z{Q|jD τ- r =6WsX$IQ@Tk"n pT"{ϊ)A=Bٛs~p91lcbQ'+#<$`,0$-5Ydw2l Ol]-\uXJ̡s+[nΨ# 1_xmW^[&Yҩxzeh XSt^~Mxd5u;g{_]q-hg9k+=zn,"# RRV:1TBC1t:Δb=a e,m}1<{pyḦ7dR?df*ߞ (0}U$G6Q`>'{]7 *Dr5\X9ت#$I\G2)`[%vLrmL a nF$)a!~R X = !󻰧?T H#'!90cbt>\s3'յ\s)-FGXBJz3a(ҘXk.vd^mjH5.m_lqG/BtX温;€dH>3텣%`zʳyT]=\ :UFu"I`+.xٵf E1A$C%?θ63}]^`ęcNV׻5bqw/݂o1?YJTZG-\A yx9WP& N;\ť6An3:LymDE^8sL]{$6oh&$hӰ