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  +<4 ]/ Paraconsistency:threads=2elapsed=151.978cpu=297.140gc=3.108factor=1.967zXZִF! ~]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>[wK/5 tF:Yﶲ/<׿,:{>)sd'aBhﰲIȹo~zLݨl`9rMY@|t"M}JQ˭X-M|?H^>ޒ.KFnx`!VNDn[#8f&IB@'Zʫn07"+AT"dH@SU%Mm 3! I/x>pѮC :5C]#%!y[̫ vorQ.Qa7vZS&eQE֫MRFO났1*!DGXtlƂFS,=z1)%LKZ률 $`r ;*?MUGyH*>f rm=`u>J^s,[tP9'w޴%Z8q[Or Lj,^!?)ŭ˜lH8s+[0u ,2AZ|2_pPޞ7vf&iy1T(CF6MAHzjɐwG/x8投.g=*,:_Tx&hDIrP?]=G`Z<#ƍ|hڿev{dI^}|}\xG4tMOQ!B#pMuh,sjհލJ} 4;l^2üY?c]EpT>(v(Ik2JxnLQZ7 d^4R7.PRi%B a)'5೧wYSѼX)yl;(}Ȧe~?јtO;ma@Cm(8TQϤewo ~}0X1+YzB4N,~ؒ߂4!P6)[lݺwcS)(mWXiT8aE4d\ x f+R!3==-jŲt^uapVm;lCQ_ mKRT_H5_=po q %W-b-d+ '"h<" E<.2/Քl'R.kO}y&#jo Eά h9@ x9{!C  !{yIR! hZ!0WsŹ~ %ZX!4a_okH[F,w&@]SJO\y,BfHd\_Iʵ4j?E `4V~]<&.*Tbj"jf^xO|ߨ~rzIYh pu΂"딂xgۓO_M:o0K\o5S.H~,W6d&6mw[=E /W0=ʊXqk]n#{Lh;ìRCƏȢ^Y xrh=b '1@<`wK*e>.s Y(?pi6?C,OCm+ٹi*4#?Nr'.\m1X ougNGvvpF-!}|֧(Bn tpi5 ,䇥`>jJPZ1M'/z75ꢥxrqfinf&vw;Dua'50˭ Nx7.W+UJ^Y02QWKhfJk'ʊ;36 dds֑ReL7{w2U@w }],AVyC9q;HraEbl"++ ef(߫'{/1ƃhٻY<κ#Ez"_z\`vD$:NͬK&JGx eZ3b'~3$V?p> >0oi'H3hj% lKYSl+=dg/y"LXVQ_Ki?ɇ?:Dl+'-/TqfGa{MQ9+I-;݋$>߸1+ܤPHFv!nJd1PaƱ9J^͞\dGsIAkwLH!d守լ,Ј+A&nj'>=_i^݂ : OE-ԉx{EQ|XVFZ]мHTVMO^ ,N{jHw ?[SmhMF/t֬8ϼHh'?$9^߀tSK$Sq6z9 53>:j;D|\6h9 1$p ϵ{yw1:Z$'Ns%A;`j4G_X܋Du0)tC^HsIϦ»K+Aixh1y2M'g _G[6K67N=ܸάhwMgR1p]IfoJϚT_XsMqqɳgD$jBa6BrG\.Ha8"n`{܊'9HTUH0U(E.+F C') 쒜Z'u#Z/RU&gú"ԑ?s 0K bV|>62jY܌Xº+ԖV> p}W  a!o2hZ/^˝(f}5?QSm)mCӨyDdi|G]MXFv@WH* n #byuQT!Dt9ks>!sۺsn1T~H@!׫flVfk:#Ia,dJ=ī ܣ]߿-C6(ߝFyƂk?*ҿlj^,\m-%ALRzH Qݔ`4KI9Ű|>nO8">|wVXucEg!ǍnUR.iB~^2ֆΛ!̪W|fYløS6dxJZkB?AٮD(C30wx-A%`~[JW 2hOگCVnn6G|B,+TF3:PߚCr^bބ]P+rGKHECƸ-.=VtkIw] Wʼr" G2Z737ښ3lF¦jYHNng) S ;͝6/Ho}]Kc쫺`3~ RX(y1oyd-2  fdJ6*$g`pJކM **/ Y-cWr=d9$za&|E<^˔7L9Gg[np(gU!_íp2C(6ء}f築$bF9B؄%avstX|IEQ5/Tv@;rP7ohR=ΓO  2Xڣ;#TwFBul8iJIPbV򾽩#šʷsBT.D|7Ψ/C*).p7o -dY=v^6)WtYD`oo(l=bN=X>;f{?)x,SP"JքJƛ/b8q Km (r["^AQxn-"AW}Z7MDzq0oMn[BFd0֍k5iu~'|)FI2rۯ>Y l/7vL`xVֈL0{+]( 뎩K<3O;582>Vuk rǫY8z2 :,oE2`w_ooՃ}b;ϸkQ94|Z,?I;qw0޻gMMy>+uë0)O;.i3'(䟏@$e?'j] %D( plA$ [D 7n1qhK\ L@#X2oy/0R.L j&bM1XkT .l{"+,˶fVv[z>. 2j0sbp—\0Ɠ34/)K ɪ9QȐ61=;<ğ+90<jnX{,NΏ!YG͓/2e7EؐbiktJ?F5E" R [zKy덀琖RM/m:%|qIͦ+{]C7?c \Uk*yLi Ro,`n@|9f5L)Og2C+t[Qz:KHz2뫴tՐHT =(99<\XK td XAd?_P&^u[~4%A e v[*;N>pvrB?eY[VU]: ,][i5GXWLCzwj;+URoVO&JИ2%#4Lb'J@% Q.@kUـ`\) pT˼iq>s^\Z&Yl?֔uGmjqԣh{-"Qy- b>3J!MFLOX9!ś^>QSbPim),[<\ #]@ HaDE '9n+B4"xTs(%jb0>͹rǔ^UI0M)G|;IBz̝a-A@;_"" 2ΞNYRI'|Cd%Ou<~@Lvx݇*-x\36I/o=-mۑ.MN̲RYQ:u:kSdMgK6;5BW<J0ItgShaGK{7,߅-p{+⽴ {/\ks#P'b kƽߧuxXP"_uڌo:S4G/4N 7 QJ-AC"dr{L I,T\)9nVO88 yLȱgYZb0ac7fedcffcbeab4bb65e896861b175dff35471fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a