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 K+<4 ]/ Paraconsistency:threads=2elapsed=157.281cpu=307.836gc=3.320factor=1.967zXZִF! ]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>0L,Ԗı\eoF8%!:3&=6&,]-Os,EM%{'y"(P|!yXq + ParaconsistencyAmy^(YR<#vݮ]W|m `Xs% CiŃH,oH"`1fxrt%nGjיpN7V[:&98y,%Ç2rEgTZ5rԵ߾510ڑF .LgYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# RRc=NUO1Ϥ8dibT)K}YZ7zXZִF! #]ŗXi%9(OM=]9tN ,ƪظW[.}X0PEZC"_Dm_^DL"]oՏlq. OJXߧu/#va?LζYIWRS$g ;\GT#\Ab;brRXs㡼B[BJʬ0|rӏK7` !r7WKQ"(W$#9`v{VqEʪdʒbR"tZYbrfc?mrZ.,(fIcFC80W'Suꯉ*5>w i~Vhح9H0bƿQՁ9W9( Ò.Gah)Bu1 b5QLƴe6qǠz:T(ɻcMeJc!i)ȖeWN sCTbW tf|殽Omt#-ī:GffƠ r^еai 5؃y-zUTݍv dgCU{ ^IuQVˀu/C"m#grUl [ א_zyn 0|K쇨W"Z,ĎêRpAۉudRLHB=^G9~H[5ll#a)~R?H- 5;uiSfjCΖ#*ϖS膡"(qYZ8Ō6k9HnHLPF ;qnh*}> mih{X:fSm>[33H:j(Ю~gvld^r\3<78m@ (;ă{z_:Uc9@E!=vVzOO.YEyV6kfGAcKz^=t)/$~*be#`4]xve|)ϜG:yM9 QJE _%4p{[Xi7O3%*'E԰^mdoϮ xW:]rœ>Y^z.Qڿ0|h/)*PLoo[K}YQ6#mRz|N%;{*b\#дԷDQurd7U Hd=wWP GX&0ʣ0 .`$^XIt\>Ne80~P0()wI!)=2zj-S{ l(4NpMl/q]h|յpsϏ=ǎBx*=%.;ײob*eA/ʒm)&""ZGԪjEbXp(ie^ ~Ur9Mc" ϣ\؀%=Dl)q휷A˞93Z1x8p EdlNk׶ Ϊ?a3<'ʤa)`\;?DAMf졀_-gJ{OL KX'='%tЁo'H:3+辢(#E_!^48XɰVw5h3Wy~Oi5 l8EClXvȅd̶uueI!ЍB X s  `cYKLC5̚(/1""]-Mynү'/[:tKg3k1?RT~~6D._JIs- 4Q!QY 1_Q#PoxIR ]KAAe=O%~Q;YdB[KxZs?D'%F 5w%u#ȋ_}[GT$'5*_4%#(>j*kġ $$bGMDezn/w PD摐g.WZbDܼz(θ&?)ɕE5;yT>!JC!oM6+'M|a1S h35&Q1B'UNBCi85\eUha9U?2bZ‘@ AWtf&j 'CۣEysT6z5/a0!}4+|7ĽmO؉L.v_s|;!]%#G+(MQ{\A>eT)yzԨY_G˗8[U{UVZr-|D֯BY'ŸN7rgv)BPo%`dCBǭlO:8Rpm%VAj8avi=>&@~3]P_?XC ]\p_Ԍ.j*YNaa4y͟ =w6YY 7B,|HMZt.k3?G% S]ߣ7K$p#8q4pVXS K% o.Ӗ@߉>锄Q ¶(hpCUfr=JoDDJ`;bکuBs9% ~l׳b#F2hH>3Q"`+&+#oGlocjZ-]♒ zϡ<_,:]\_Lǽ9-|͏hU%Gc+ȋ<״Lrt#KDzهzU2A`!͑4{nwyv Pվ;*|· N=gƔX%AH ZܕtfUw,5 w\N253AC:,ÙL=,ΰ3{^Q}H3FUEslj g(.B\2IksBDY׭gh#6Ż?c\Nn%']P-l}\4s舳#ϟ=0Qِ6"Z8V~.K:#%I"@wyP_A_%b.zۮ(e~a^wِs[f֖n Sp~Z:cਡU$,Ch\ 8aLs|NFޗ' 1J4F ;x]C N!O+ix˜{*4]Zl{OM)08.[?0%oF?~dM{#=F -MἌa)#M "dR3٤&!{n5@*[ N?rEjA5EwѤbP_<~٭uZeF'eBs"o3V8j`a{z!{+ ;" c+hdFh<]Y-21uaj,G2_nLҚOi;!r'uGARVڗ~cc2xiB oCwoI%{g=7W9ۂ%ׇPgW0wǯv@IW;O!d.(\e0g;FM'\LǸn\ 0Q"_& o7h211t6$#+&Z%T`z&^-uR;QiҲrt4;s#)`P)"wxuv,,5/2WcO SPJ>VQs,Sx}/JR=푄*IXESf32WEٛs *=J㫏ܮH y)!PV9w,VZqag?*2r /bIʢ ?CL()DAJAph Y͜v]?bJ,Ԍ'A+%1ID4b?_XLb_/E߭izRty 21GJ RjFxe1L ʡ M Dڥ p![2c₯O?H4Q~mj:WhӜ]{gqJ#] jKA>$0}o],`#L60K1,OQ(bЋDqjw jiA`~דkggx8MoLBq943̗Зt\OGђ~8UJ jc_%!Zr~LyNTTY\8í5ެ:ņPՒ׉o );N{\;H%QSҌ_/yf)@`[LW ƌK?C5s=Z-^kfdIjõvz*)X3)7.dHcO7R?ϊgNySoOiW -V5s{1;夺Qd3>Hv$RZ+-k1Ӟg} ^ŀb"7qZVߧ7 JzVKθOZ, 4$#ׂeFeZ #p (t@@>^˅`Im$:;;bY7%9l5rF9߻Y?ߠ|#9 Pauc2M 쑲.@|bc%7 ׫>/P3m5 hkNŻR9 $Y /'H"OsmU;XgI 9U4gRtmJ$DNtG*k W{W.14Np]vrָTV՜44G?zW5)BqI`MͨjVעlz(^3-zn*'0lI1N\WțhɌY]M8>u13]@31ngդ{fRRiRfAŹĎaHvЖ#j峰ԁlD%:Ue4l QRr 6Oۊr~ܺ ?W]8{pb& Az̩ oϐ1ev̅ ޫSczLlI(p2@⭥6Jrl5ѡ>G{Hq\$,;;Z/U۰h1φAIM;Q *Nh&nmRL(`OϤ)d@醑*yC妇~1)2!J=2?hI*sdAI ό②b'WsR.k}rvD1n6sFƬ;n$nnxհ9M Uڇ= S-82_)b?2WM|Zw# Y4~vnbe IAr\