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 ,,I+D4 ]/ Paraconsistency:threads=2elapsed=155.776cpu=304.632gc=3.204factor=1.967zXZִF! ]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>EƠ0x=DlexD0i%v} Nd7Jfm5/G ݽ|mie}it,[Xu AMO E|~AR j.GgYZ7zXZִF! T]ŗXi%6Aon ;gKTG)TpX0AD ^#dA FBǙ*Nr%]KK%tY} UUFNK?/JD:/ۉ䡫{/[=]H,ԙj .}Ve_rAdfq;ؐvU B!Or91 op#Uo`pv+QM2L a&'3N*o;;ߥ\a."Q}B#V[^R}yF0@l0vWOF[4mϜofXdM)6ZdnvK^>./ 4۷sZ_+h*e褁I~x~d@8Z>ɔ Ol_=yp 6FyEg'`Zf36#]BǓiBg)ǾcKf ~ʓâPbnY&L`H.,ٓ2z.ŠÕ`\ cƶh}ǫ%`[ & pl 7UX `kiRqKv& uRm<]ОxgpU08Pī:$)(qaw䞈YySFPhUUx6ߌFz*;{K)ۇp C`lP o掍tVBzHW֬M0o6zu%!]UKfb(^yrR(mkq=j"A䪥XN_!&M@hI:p z5nQfe_= +frnU$('1lO~qЭpE$"Fh6Ү= _y/5|{Aʃk}7!'CoPޓs";'fR*29Sc?ZRnI.AN-slD\+凷B0uζMolU>Q -)9m'ı6V2s/M&S~z/㌑~KFؕg0FjF1~k/igy-X}Z{ldwڗG`Z+ڸ7,5y-0waٻ-!-Ĩ˻WB .XLbsNEގ+wˁhQ7 D|6؟Aj{X3<1o='g'u~=ޅPg^Izh/zDڸ  ٩yĺ+lg\o6>-Z[\tõ9]Ef}:/I3p `F>*9bp 1Gbc)~$bA3H|H9쥏A fK+M-F8P$4F`)E6tkں$MŒX֢s޼`D&jyp5+DJgputCMm0hWV:an;6,SEWV7s9owth6b% 0K>8W w2nⷓb)v'9뮮ƚRO)H+[)gY'í噓EE|2G@Xo"$|ӴV  dz[>ƞ55@+!("ʰDn88A!d3+p~TGK:$ˁ եK?*}D@Jt]aUQIiů5SP_,o4p c؁bN"6 Th(?̥spQz W!m{<%C J86ՅOynBjvګ ˶%%>8Y4VFmLܐcE߶jOCQŵ4'h7bԺ8#y J[ۮ<֟GU6:` 0+׹DD roH{ -kLV>D X{R E #tnYwu|[/Z|-q B4X&bgK02 MfU5hYq3VPK]n0i!9J{ ~( B7QfLn&"/v=]Cvfub}p~ڢ|_ 0iaHf6]Ng? cq:}~B/#1qw nauIё)?1fD. 6)whIgd /lHG= rnR~)q:L7`3f!gH^`ֵ.wJ~)qGSuWf!Z6 tUps1.΍ESת gtϕdM'&hBQf*U#]%El}ȏYbT俐5F.nQ0 Tqş{}A + ParaconsistencyKj'7d}چ3e \5s%KbY$dOڶ Q^ `*5r5pǫk$1WQI/ ͍$v=Pk oKzt(C[lM-WԇB3+';hXNݿPǃOiQ֏^E\8گ9Q|؂ ZH)@ 92RMhܭ~%8y֒ L>s#,8$ 8 A*$rN(oMҳӐK AC&t #[X۹ۀy;Gh1AD*H^$э)ftmT_,rp/W#BosDϿjE u" Sqv񘡦}C%nyVpb > pn?bG:?3 Q̎턠C:7|["MwJAHaZvO!i~y;ezyQR_R1z%uQ6?/X:jAe*"|D6XaՎ8gևj )-M+hW&E1 &);6])ʔ1+YrV43/cQmEo̓u* Qnbg j ٧b(Z uʆ.]ܫpm4&pqHaD!heTwd| HI1-QjR2SV3]y)2 Q [À4|@L3MAbJD nƑ_Sk;eJ(/HC$2H4R jf޲kr[LJd(tiH.vXٸ|7a ܭo$(+*юmF3tՋ$BF_=ꛡ|Kzx!I]%\$4`vD:QVD>uAxzɣe;"R =Ăq!ϕ Tff# 92Muk؝`wp lzb>0\o$o_Zդpq A.8Z g_qg'|66ǵnxaג'J}wkyĺ9F{B㶖C E#=g5EP\c@D)ǒxxS+Q2ќGo xХ"c[ \jZ<|$# +~;50zVоH7ww!7 y5#YM /XFyUZPHYl Z1#wưTF _&]9S"65pr.s5gUvo|=dS'~~2TBu }Ӊ[Ĭ K/ZcLxkV1zݫR*{['jw^]>-.-WU71>J e*9s} eR݁uw%"VZT+2J0{#|!}2Ʒ6oy"zeX1MO/ۻB-P{5 #rQķQa#h2n}V 'l⮰| +SaJoYAӃPQd-c y G7vQUhj홎;v~kf9,qĪ[M!,aa*0 s@^g¯Aypz#3 :C7.s[|7h E#R6.d1{!HQDC3 ,mE#YM3tߥ]6 FD$9X D~9MXOVatkbAp/ȥ.H0q[ ag T2*?[tx/͚)& 4RS]0j,(:-狥cmϣ$)9굖R;Qt;M5Mr/Rh!ul/62-g-MBӬ9Vr}; J9!g>/Fn+ifI0&|vv( v /xh; Z^54žLj]1g~9} Pi  eٞ9 ;rkwVI)+Yk((?aќM<]͕XI}X(”X򵲎\p^n-oYX8]!:L| [Տxi%|u)XoKagUbxycxtF7Ek)suR gtR4%?K&w[˷B}n3!~k8"IxJŨta@dhp|-VT{'_O^mIӼe@|^CȊ `,KFK `rt @z3rr 0'?UddDkI3Aعf7L̶vot+[gRo;$Rpz0\Y4QKi12XDǶ1[`"^r]4[[@"y,0&y衱V1zªN&x=XTܽM\*GJ}kT&,1npMxܙTᕗתЕjeQ5}yKYCSy&#HT~E0d#nw)4i,;,SۤC4:qu ;Sˋ?]JYP];s$br5k /#5Kl:3;HxDx@[#bV a蓃ߩCqMyW.UPR BԈXۈn^Ⱥ.0_yLeUb'jRmDX"jQ`k%yn췺i'. .;*!lj$#?G IƕcG#(uc z2#%ռ}ea>ϰ1Aݭ~1IB24mu/Pyro+rQ:0ϫk\MF2qYUrI3xCT ~!.Hp^6WcZ5Utt~v'i%jj/[S/܉ Ed/q7P Z7$u9+U($_Xm_`AVY bZТ 6h]`8.;-7V4t%j." ikYGr729# fY‶vW7tNaaxb5'XLz)o}rY?s<8:T,g6z?&jԳ7RGDY @yEGQeI^VJ @?$1<'󧈾:D^,Gضԗ*kq*(7MQJ yAЮ*1O s)"d *% p nzy㷅4>)XiEtu7g6:Gy_GeH?s-hI= aDKY[e1be/ Zytx(_Ui@M-'HzC~PgA.+l7'mb0`YS&NcdOiB"ǟ`8 ԘgYZa25d2ff32fcc5157c1d2b9406c23b57476193b56e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e