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 +\ / Paraconsistency:threads=2elapsed=154.817cpu=301.940gc=3.024factor=1.957zXZִF! M;]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͊I&6^LJ1Y6s@[+ #Ofkcgn9'`^1ǤkO+\ܳ[5򾟈JlRNi po5׭aqE) LrthXi^@s?JSIRD~ nI.RhaW+όb X8\#ҧJs)ގ^bk5E΢;KFiq?e,雧2e'z .7?mllKc _|Q'?Tfʏ6}QIP@2Y]Dz + ParaconsistencyH i=hͧ+ Ywy Ǖ]Rs9d7 !]pa1q]d_zƁ=e`k X£pLzpٜLQm̂\Ev@ݍaӉpY VwJ%ds ʏwڐ% >q%w|WWhwviL\nF:U0/"gYZ7zXZִF! &]ŗXi%}8Z /i;Yp91D&o"ly >ڂpsB`6o$JF i戭nld(ߦRЄ)G6&gƄjMA;og.iYpFZĿt*s.,}GQLT(k  WܟvaN]Oݮ:7FVj\E>3IlCfut=G_VU[&ЪMJˊ=P6uN?ai/,y8(}>pt8^_6@/#+9^sۯbJG41IbezRo…Q qhz9;^UWi⸿$ Lzx#5R4uٰ|"D>p31c 0>yЉ к &gzKRd*2#-*&$uZuK9 Is#0.#P#FߨB~.1\CYqhNւ~zM-4B106/N7pr`=>]]r8mw:dͩQEJJvB0UHt!18 !oBj5܉wϸNpgD+YmQ]Jv+ɺK+9[c/|W>[%#ye&aC{*L4:{Vu2 sWJ/ڸ70G\0tvi]hO%>IXʡ˙ʣ~y$- xn԰?xs!C'kf̓ТUd|_ɓ:(c$Ɔkܬ6>BQ/޽sR3LFQ\ܓ87-07(~Dhi?<27?A 3{ElH)E׭Hny'U9f#veO0[Cˆ]NoD.%2p3-C\xb$Q$Ls*y a8#\I3~-2s}04>Wgݡ-lu!qZ 4rEWv؎=P>TNCr}WTj+;Ev䵎Wc+5bWVkxHAq'lDL5'l\8-Ar_N pX/Y݃efP!pfFsn]?5B Ikj8JT3 0[ep` 68A#އflxۺlVҧƉq3%yy e]CQݣ=i ={wZd8aOԓ~R%м 1謺@ѭsh)uz Q[(ޤa&M*ۧYmgݒ&dͫ3ӲY$'/DF^+gj;ݝ3xnRc@z7e(O3O6y dUmߜ'@])Q-b$iJ ,04KGei)3\|A|MatPc*aB"dj} ?dd,M jN92_0O]Mk$ +)OK'*k݆ߣ թ2U o 1$7iƬ95;B|ZDװ+mAv-z)}S ohl8D2mg@?7(L{%|lV~@Hiz/QmAi }vPEⶏ1Y<:M .A+F+oوРxqjy)^ jm2T&_D|0]wn*Uf;=d}~M=Aћ)z>ڋ7EB\r=sZD1jajujBf妠 v/xضh(zg-_ďB@;M75A*8;2!j11?x+NgA|{gpm1Z@Okez;rnG8Jz+)y!i>+6l>E6Wr+Fq3FllQ<61E ߗ9MD p{#ީN<F+|H..,Mt< 0nMzJhT,n3>vWΥm,MO&l ||,';mH P%PGC&n%:U iFO|jL'FWJj_b`I+:lCW JqڧZ8ΛQ=Md7 CPLsEPƿSӋ r : QqJx/y6ЙhOt/-EO8w, 8|Ky XVERTIoR nt<.١n5!`sA1鯁eZ 5yrխlH1;"UEjEAIfEBUQS"ŧl@\G?K]u YBls]~bdӼƒ@kLh9&H/S>׿Z&8!x5_xC^s/pSO]U`0T~%Jp 1^jXu7bM+fP SlBcz#JRGWޛK3`9,kSUeԕ^ [f Btp\і~O e%]8:|Yؘ!Q 4dݱrmR3li8lH $tB|k˥Ā'j܅ۦE,?A%ulg:Mc:d`U-s Z& Db^qUZ{&!ޒjnB\sy%M]($w鑧ue'Xt۱*!e'y>%ϔȡ*V YpUR,`߀VZ=娅qrg둰5D C]r{!. ݿ7pl%E,~0L: Xsu?:'7t+cc=G|8 R!{&4)ab VyAy%dޅN1y< 012oh*]NU/_])\no=1")&%..;H}6ױD.W -zS3+1*0>2)ǑElpΦSEiy.EϠgY7Z5UMA+e N䛭х7q\ SCf2~|b&?u@ zmdT΅(X{Y.fBa@?ôD| p׆) 2O>'zPE)Jk%D"_$"'i]js5k ۝&I"m&P{EpܥD`A'hJ wN SP'erUph"ޯ$'/.;M7oON7LPoX M"[.t&@tMɀz{5Yɵ?;,n=qT;o؛|]Y- 3vpY[JsU1{`fʂp]!"(bv]AT+^ 7|']5)]c1 \hqlm6ۮ N Pe(G[7yj|i5x#+þOK!\} mbG/E1(@. ڽI%<,IR4pYe2d='׆ϣzd W{H7BP8bJvhy#nt.3r1`eӞݪ/V+t!{EwW+t"fZv'Ljnl}1~72~FRa&izdGO;](eR8vֳ dܧN{6ӐLrK#07ebLU!)Kxy_o)l 7[m֢ɢ (3*oy0: pH7:O]ZH3zPHYC5B!w*zS,W<3`72H7 3̣XTڤFt؃١ϲ%C"gPPyoH61"0 CRe blU8 pOD2¯eF]2V5.nјFV>C)҂xƔ–%9LZSu淔{;OWg?{ܔjcbN`D{d,(kC _n3]5Cť@ ȘyT9MG&Ff+[I g_9)D~U Qw59O]q69.ЪEl]Ҏ >̠0=(e#j_hۜ#¯RbSS0hc)=(TS*א^괍FٜɪДQc5T`hKme"5O"=o;K tNM~cI9: mǨ ˻ ȹȵ|wȲ`whd~IO*3_vvN2ؖ27~~YG>!JPi 12qAY&k|n9C˂