SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  G+l| ]/ Paraconsistency:threads=2elapsed=174.609cpu=342.268gc=4.820factor=1.967zXZִF! .]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>Tbr{YA b]A " VD#}Ebe 0ҁ ADBR0fFx4j@dHjy̠VdQ^/D \8fLL,GwdA6w^yy1%pH@bl;V8Gqz&qL|Gu|~dyTo~d8EgV4?,[O5Bx :fEXJ-/5eo%z.m1 f?eY"5Nlg{bXqnɽ#9Om=m^ۘQ21gYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# [JRzkj :}ڄhRii8bT)K} + Paraconsistency  YZ7zXZִF! R5]ŗXi%>g1?mE,Vn 6ᆂZ^歶Kk#7TZk BOA~Ū1J2pA9Tg71(̴3AR5B1okQ-{{tY,IWersfAعbjE0EeلS]k"(*Ea°9&pV ."]U)Wb,jBĩ{вg:NQ#m͐ks Q&R M|}/Ai23UtΙ+31rӃ/"lUp=#q$HAN^ѳ<52qVK< n.`c~/ "b^dؿȥBQ8MoK+/`7Ks4{]q ) @_e >/L#E)bf^WX?֙ YB)"^5fH>R  Cye"tAME9T=oll!FN]k丱e`KiFy{DFUbtڱN3dR*p-y|/Vt"])7 kHd˛P(D13N"j&GN09 bp@" z5;OJISʱ M>>Np/#=3;#3JdžKiu(ȫ!f#-D^`]hbIW7U5gq^A:1cQ_Oƃcl:KLiJſ!'x<_LD)ZXLnC$T >'Nκ.PAdȦۦ*f[\Z@V*T/$xjl,5ҕ`,[>=pO' ;1mz1>\qRiSZlF1Mesd"4H%QH(!߀~-StTy&4g}]€mƊAhSAbzNհO$.$ȭ9U5D RQA.SL|Leu؊IiĶuiooY6n%vQ@OU6恐cXl;Mo1z*ewu0oQ~NQY\/'fAwqX^zwWiI>lnS˷3YOWlB +M8ȸ aց Lό&IPAt9ωjԍ|C:X C Bí`m7l~6SfY4@ґVJl' x \_ cUDZS!APDk`Rc|񇦝qOׇ'dx1,~;q_h= ˯,:cxr恠 TdfAIn,j]gn*HCk :Uط+9C7cН?rG'4=os΃ʀk`J (KVǣbXSa@,bxa418pͲG/9.$$G(tl>v_ ?ɞW$ [gCl_P|mGP*^2=XœJŏ8;& tpCXU-@ Uy3pq`3J)UQboC6 6H=W~%xQt F[/2\ =QIR YiF d" Of̛q̶k By7te* (&+k9q_["c$mA `0: QU=+L=Vǀ3OYe4!j\.A.fC*%ˠ̢ñzko,ADYgF9,Mz P4xL(ꁵۡyN+UTz qïuU,D9i]EPپi \?xd,v'F+$èOQv5v@!,"D|+fs ]媶.xw[icj\f-ϩjb%LI0&ҰbM.-aC}kHh9ԣDQC U<;LKwdӅB<\ܵRRT] ߆J}>@CSwʆcM% { <[,CĴ61xmēU(> %hM\c(\X<~)J4xݬ/Af Y\S&в7hSfP΁hp=\%ΔlnyP"Pd3Լz;Snw*   v;b\}^[-J20=T b>඲jx$dAdB[r:I|?|!j `ҡJmxdvcr©~ NoĀsJRCyQ0%Kr@7K|yMs]iq9܏S .:oTrL"vI:tdL=TѦbN[Ѐ|GBAto85C(c)K|dපib'GQKAO@hǭ'%ơq~YL86J z9JH+v@z 5I9_ڴ=Wb6>ujY&iHu'Gv  CNK`0plr)|x1@DG Z& *=X"`Iق_'I) "{t [>dp^;q%.oPMOW )F³vç|m2uJ  t=nCBȦg #;ZɄ=9dvb'H+S׻CSdzⶤam 2@#fѬ~L->x_r]VQ#j9::a9=5,?i7 >T'T43HWTO]jkWlmTH_% &Ud1ގ\B3v!erϹ $!i(?q/1,#h,V%yjzHF : d 6L.]-jʠ1Haa]tnU@daq:y)P@El ΂" ThE7eC0l9d5'ոۂDD9#NR-SMiwB`564vVQw]FaVZu%l. L@&]g\и3<:pii ӂc4 iF%K*\`d_̟H_Ӥ՝bk`.61bZ~TM6`̿ ߱I>oUAwܖ~vWõX#T W6/JOT5!KdGK-b i[3ePxI_}՛|_>fLVk4x?9k aR0_1$1/rLQ H F-҃*Kp=9ݡĸķ9usAw` w?!S| B1,g̟^z52m}_;5[H\ _1=5jۗzpm@^WUl g+1m׍.;aChE@NҤ ] 6 M4YBk%a}79cD,$4!9{96)b|j6 ~Hu~O=bAV Fs^4;U| n=0fW%@Va,!"'<2LφhVX&,0ygGQù2:80pIe yڌue0h = .Rnj6p|l} {Ww K\mI7vg"h$RK""O"U/m%? 0(n d{GvUmغnnBTﭹ8P$1u83Ta6wGKKf s@:`̌P7QlJFJldAZc>8##S@6dj͉M+B{86õA'q I$;neb|ڵ7HdZS,"msKfH_gP,SG~FGp8٠@'~oz=Z|$?}įKi./ T}lhD0saFjU/ [1Mk+wgQ{8_ePzTH:FxIƥ98Ǚ'>R0yO엣bp H9K ZXOpJ15羞 '.S>ULfl`6Pea +0d`AvUbbyۯeIE,0Pi0F;exhr]ko Ak"t䷍CH3鞍afX#0Zp,xv'?>0Jɯ+ kzh7c;\rcO'L;ni;< - gYZ132c6655b045db7a3ca402d26f63e588900ba38a767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418