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 +L / Paraconsistency:threads=2elapsed=166.785cpu=323.744gc=3.764factor=1.947zXZִF! C]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͊I&6^LJ1Y6s@[ƯޜG [^9Ү18I<\%Z-SȽτ'~s0{oPc.&rK6 + Paraconsistency6 FGxAI)4#'cf@f@H_Ggb008Ex_eq<;{PfفxئO#˟MVQ"'d3b ,= 巭!-;}QlLL xY)lC@Ϯo.eg|AzҸӱ: -WF\D} XRíLiGSJ1` `\M4>ҶѐHmy9]mq*Z_#K C]STl%q Wc3}:`LwQ=':Abg ?":Y w37SGXj ;@ħ=$|m=|MSv8 +G4lzNGvrsy.[r'}VP5O4Fm@D1IDZ]*KNw1/Zˮ*NJ]c&a 4Y8FIPZI,i:ap`E/!c+b\pvO!&UlK vTe>xiEIonS U#E[?={%BC\d`VFTDZ&73FJ ]Z*.@7^=uL U.:@Bɻ_iI. jlɪ-Z>]a ngWӰgz8cg\ ^t>{z;efwEŹeXHL`V(т%dc e9kVݻ9սkh1,sDnY6`#{|C`Ks5,`RA:%O aO}t=c`FQsܙe Yx&Fus@cΡ^,K_TCCYPYPl*rϛ/6h*(;;ZVWrqϦo>k's|6AfPs(V q3wSKmZ4s7޿+ds Ї ygYZ7zXZִF! (]ŗXi%WM*  ?J28CKu`RLD:Z?O vz+N3^ Rq9"]`^jq~,Ab8h>)(q86Q SP:P*!mՋջ3;s~WPw\ꍆx[N-@t~bH n^`H{A*c'Txxl%DfK1򀑔*"xB4_{Zp< .boZ?٦Ms-_N^o隠B:>{fľ"rbїzd)\|Ҫf);<^`=`@O'A@v*[>e8e]܇<,ieÌVb {CN\ガݥ[MXwob6B)}~["mgZ@EtL5sV1Tnka8hUe]C4]G季@6#f0Gu [1d9M+%~NB`ce]Oͪcjg'&mm酹cԹBPaǀ -o{hʣ`cXD́{|2õ~s>Ejg20k]]^h40|g0Xal>{r:;⇌ UskIc@A`;ޓ|SHL'N`!ndĬ`,3Lՠ5w M{l/Mw2q-("5:$3yRZ:!xp-vn~$Ԩ4Kջ䓀QgKG\}Ӌ#=@NU.,}JjýxA +dg ;t9п?J;6i&7~1r 0e gq3 7C(focC- <N&Ց8&uǍ@AI'ːPi[pZ@g^mhpt;r'p7cOKB& tTzQNFHhX&1,|&j޾V4 AK/BM*`^Ҙ-'<ŅO(W- J cnZ1>Qa8ëlp?.nx(.4o܍r9?}0Q|,>)UIV`֫/ȬKj ^ /ݽT})%-;jGF2gC vS pۂ6'ugu|4IT%b&.8+<kGCT(wRW#vu:MҸO{߯*hem||>xS0roiޑJֳz԰ r|kl7mҟt" Hen7Popk |P$y~oVV`fyYY`.tSq m2YV9WM ntdǼ#o!mM- eqQDVNZA"@(~㾂/9 Ԧ4."C#5<>T a 8eR5AB-m?!WYK|-h.A^gYdmh1# ̉ڗ4aXc(֦4P7\BW*CdŀS>PjJ,pNLƃ~&$w^|R$+8͌$UGkLm=:D цklrJýWjB F 1g{/:]ERHktE&Vb`]~E zi!بFW%*t|ܐ~%r* C -,%)^> M*jCVg9 {u+(qAG% ^N~Ʋu B6/ކ.=^K[l.u:tp.SI%56cv1{&,w?PegppMEJY,!B5j~0\?xQj}۫y{Pk@_ѿ{jF GZS-AEzC;=4zx &nY/[ tiioT?4E%F7ߟ2%pnM HWaslԉoIMvJzqѥl a=&4vU98{I/XBjAHkLENJ!}S!~s^{H @BJș]oh,f`4vyׄ)S^?^'ɍ6& 5 NF f;qb"G齕4VC&;WBunew . ~h+$~όwzd<%C\ j\]ܢhDpZ"7}^ʇE// qcً&JO/gdveJQ0:PnJ+x,2cΘ e4XX#M٧[K"?L! b_i ƦOkazH)@E)d>b?,P= ?RpR=f[1h[DSu=o?r/R lr:\AJVS{:=`6IMe|%_ыyzGx/'  Hzґ4 $ʟ׏QPodjTrKX if+- Ҷ#M&V9n b`a*n`@hq2KdɄI@qJ V)bW'%'gگ nuVjrLV)6*\ uNviyUG&4악i&xq)5Lm՛m?S&Bpe3_\=WiͯI*RHNJѹ_x72=gߥ}dWn2Ga޿$^;0">OKV6CQq{)HAjDp9Z=܇%avP CUo`04$spah,d7Yު]Ѭ.}CKfm? @qF^f慻}YI.?% ^, 1eg=&; ${'ndFe`|re*qvޯϼq9D ޥY6pv-<ݣbe/ъt:FpZ'8͕͢%0nhA$y\$cy R/@u?䩒kPZ3W-L S߇LM"@cߙaɷnrƞQ3ِ4ox9#0!`gi89k%On a,PN5}!`Ga༨ ,Q.8WH.5ӜژpC ?6׾*@"'ly$TWg/bD0V!2%?l܍12 tR|obc]_򫼻391~&G^l|4;ܭC¦QcD`7hsu(&wy}#i#0 .+e I˜ X>!1]# Rã1^ &/wD?}96W`(h!N[ 605qa]³J"g𖃊CwH,0Ir9* ʋaMH%uG5>0Y;tp v5H̸Hqd@k4Kn9 ;zSLLf-*-$X9K؍*S<1ޒ^$?Rܖ^TԖXC~K%z{6u@'7h6̾,1J Kax5 P QK[>UHRfƸ<* 3Aqu5! =,*@m@Cl'P\^cx[3b_eu!~} ǛH O-#}z2S'2\/Ҍ%Š=O+&6Y ٴ}`PN~> vpFjzĚ w-╥H)Qj|ݏ\x5QqHb@k`GLI`[qG1|=] {^÷r}_%Vjκ7otD7u@sJcRt5ڮAQ F39e>EQę rz{5!w)5O@"D& ${/ yhu֫9@{b\ic8C./3=O,x@[ X;Lh1N_aE~\dO{厅QBj $zKMձːerLԪ>d򧍍nݠak9tԃ1,#sx3(Y6np^Ik/K,`Y4c4&ҥ"DBC 72נ4Tl.AU}aµϱ({UfMX[:q#dOcH)ګ[HSeTkBvπskmU$B)ﲓi3 s״QQӐf6޴ \D"1+z:x:U֗U$KrQ,8и?$= J8gYZ0c2c02fab551575cd92b5debf81474d24bcd5ec0 3ccae0218d69e003da4c5a0348389b45fc613ead ee917ddbeef1eaf59aaef5072e5b4e5081bc965c878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457