SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ~+4$ ]/ Paraconsistency:threads=4elapsed=88.635cpu=336.764gc=2.608factor=3.807zXZִF! T]ŗXf[&зV08˼hA>6|Cɤ"Kje[u 0GZ#hX ƞI&K"SUr!PZxh79G&JoJ_Yt0 Bjv& Udck?܀IF Wnf7'Y|+:dWUA.5쫤0Xa#yAo,c(~k`Տۭp<&G4v`,Z@\e ei!5na(|拐)c(oh9Zc\~vHe*OfTdWz^zvk=]+$2;'QѩˁڰroavԵuoY$ P[LF{hJ}1VyAސMX^f'!b7H~3:J2dQH}C!HTZavdGkz3,߹*&KxM0 CL}~N/P@Ԍ213[F}s(5ʠ*`S0yG""Җ>^էGM w":bP_Gxo[> H T_m7$SLa{1*aKPT$'! 4?3G %Hð)LTwMoK=wa@>2c%Uȑe'J]!LRK)u&9I;Gh8-3j_=-TNj#rר6ѬE1@CkJG\C jJO vi#q`re>~ڎ|+񮏺vsv 8c+l^O5pt}5_S )vSjRRiIȔz!E_9e8Ur $n\jmX_Cfd7hZd|Z xZ.(ݴh dc>Wbҥ es6.2v~$fc*%(WS֎NZLq|INJR^WgwWP 3 O39omɳuh!Ȟ):?ns%B:[eXIg33$5R&Gu@r, |mI!o]9Hz?blŤ۠_M 0Ƅ~/cMzOG=a }E/s =?fl8rX#0;d#("6T/ xsLNKXpuHA#?g=CeO i)5nDK9Mr*>({rU kYX9F *U6\wX2ͭ?E!Zr$Fs=9)`:Ȧccg + Paraconsistency  ]<-#oT Km?Z|˕ұD([7GEWsN2 EvIɷ D::Wg0i72-7eVM_}Ph|G7B~g)E+!!N,&hdPe֮,'-Z@DjK } m*\1Y\R)LZm0+; {/\,t"$JrF`}"#1H fSpp/*$[ob~esM`y?y`]9{]sQ2bےBpVhT,GBUP6@H-?\Z#&ZaC(ٶg=Hmb0 oO`]J-S!YUVeE6 ŮDP׀jS7iTF\=#(k!=.*lз kqDlΠ#G'$6!e׸걸ݎ.bKk4;  Z̿cUh`l 0J VTeO+{?W1EJ'M[ Ճb2%jR8+`],T /I %/MI}%E *S Vp:x}b4j< *CЭQ@y!ShZ 3Ҁ/Rw)yۇ(WO`b fz@FeԦW05{o0/Xؿ'fzPb$r# /FJij< )D:!x6_Z[" 9(q@^W7ik)0vo3ϥyUc'PGK)fF,Ƶ#. L>Q=8zKy۬D煶wىJכzt{{Էۡ{s&tS* ћѼY2]uCb t.!;JVk*͐DwL.$@:~ q#58 " DY, ~afQD)!2 f& s ;..)2bҦ \9pjIqiv:,OX؉~VՊ6qQ+zn9/&7&%lyYZE/ X'G̹!gŜOMz'x0<x\Iiϒ[Ggl#ʺ%/Oŀ2-Kbpn~nH9صșJgay5CbY0#i謘#pF*Y$lyI.kSdm<[X$q $z.^@R(oc uLXy0ש3uDCtaY U1r2f85hEy+e<cChR M[gsundY6T:Xd@gOt<@3L ܠfX>+m{X9kQ=q'ʯ"Un8 y")$qzSl+8Saˍ^GR[rFv<Eb 0cTȣowڣF[B3{+ԏsӓ}3&2)I"\7'AB0_N78`-Y\\ +_]~/6wװYGT5 uW~[~(4`OqoonBOS>vס>+' bg'%ﷇ&F9pisӼ%)z]AIp|7n8Ky߁/_|hYf$G*J &ub?!IR! ȉ+:DJ*͍\EuZus$Mpj1vA pJB9!'"sR/an̿)Mu}ߚxTďC'/`Dè/ qddŵzCLWYxSJΞP s)'KY3%=OՇ9M_7uGNԠ]>uE nǴ_Қl^FŋeUB0 pDTΧ!.P(nF*X(V⫴d8Pz'tC0\@T׊~bx$ڹG|;Jo-!9l^ʑd}*V- iA| 'U8kgif3pgQ  uGxY1|~]\XGmEa6ckY1MAN\<@v؅Q<)'d," Sgeb)űMb͔=/y@S)!~Z]Q_9u?uK_E UO8@0ck> s_Ї"Rń%(d'gId sͥ2^yc8_ItaGiǧ {BӑEP-_?'| [VԚI [dнT ٰsPNŮ NL cb-,7lL߱;qik{ )g{ÃE l7KD 8P||UX1U3 @)?LE)Nɖ\qIsa0Bx2y\+ku%_f[W$AZE»T5:q{vZrZ5eÕzKdUH (5eYúTzHט\_)9Ez#ܬW`7~Db$P=Ҿ͚*1$ gYZ62a9deadd3b08b3572e7eced3d135d810805a6ec1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b