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 SS"+ ]/ Paraconsistency:threads=4elapsed=90.100cpu=339.524gc=2.484factor=3.777zXZִF! ;]ŗXf[&зV08˼hA>6|Cɤ"Kje[u 2OeݐK{2дA 441J@DŽe,"8;> ڡ}M2)؀엥MD4kZmC,^GIQ&5*_ ~czfԫT/;nS, nzAa_ih:?;q $DlOn0cRgYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# e kB)Fd%wɾr§kl,`bT)K}YZ7zXZִF! ]ŗXi%Bl|Cy ylB_仚%I^{vܸ\,[LEYIsqv3}F6GIKU4"R{eX"Hgpw`ސƩ@ޘL#ڦ^r*_QKM:/wbhRlP'q2G.mRMNjV \[3\z@5ռX)z/u3A81a+zw SW@@Yd&4NJ {˵F-ۊP33`J=\],h|))P 2yZ|YK*Zs9nG%7ZڑvIj~=m/"lEB]T ʐVpW6"Nx={?[QW9a/X|p;Yr^68z"fh yi'J(M"&ubAў6OlFau= 6TL%2!g  GgC_ifY{k8aI}=U?D P$&h1".?%$xG j-B6JhNWO&T 2F"JD̘ٛV N;T-e v%):pg7S9:vNܒovgb]ћ[)"v[5ݭ `SLix&<%gA!'-t/b9ߜ{`~ <UWdQaiu,T.CNpvkjݸʏTƏ}K}P E`l[fe;'StH~UUO簨 Ъ %{!Fpv3Sޡ&b'111"dk :<?j A-|`k ӂo%3\0Ń4Iz$.%~iKfR9VJ,>܃A5{z2贐@o1_tu({q#KWW( 8#u(GDq,Ry(< A ˑFJk?|@=00%. " VpU69Z/M|2n8qPpI Uj{ V$HΤtmo]2pjMm:o0t,ڍ־W)F׊Qv)np:}?A{C^9; "n~L R1tEoa}rb(0?һdC;qV|b,b)_Kòp7\[w8%wH HSfے!=C ꏊ5H +-Os #RJj+gȊпuD!~sjܴɥV#*lC]B7]p%2Wò6IC#8&59$)|"*^}|ޱo.g10qGqU+pI_ZފoLg[æjZL:Q[j0ӊ.X lgs`ǪK1֔B؋#:)1vpzx'f[vry*hE84\?jVB@zҒ #  + Paraconsistency  |Ahy7Ž+.@p:o..Au\tB3(AȍYAYخfs9SS G RB3Iq? F18:jcJ$ W 6%ZJ Cu끜%V~Z1#qRGqhwsm;ݼڸlaZUXѣA&#y.A=I`4D7pW|Pسx}\Z}F?A?aCͫ†0^UL.P'$r|S;Xb.KALT~Af,ٷFd ~2hVY6뭼0Vh[ mI[r Wy+|63K8 G B]pH_j gx (xۛ6U";kṖɠbi}Ad:k&s@׽+N fo#nR[<.C-T cag5N@6+".榙_EKY{'vZM e`[2~=EAyیxrʌלuK  t5oԶp_LBgM,VPhsBұ!lILɩ2m/ݙY} $ȷ/*\Ė -v ?M,Xjpoeh&g ћ)'F\:8sNRT ka+= !%Lo-H [8^aBiiD[xj|6G/kx%Ju%H|c~]͞'D mٟ{Q=(קlGmFbB؜"Opn[}da+ q4h!}h{Op>z] 1(O|@qCB@!/-(ޟVD 7J%XO4V"a/fnE6G'Yu*=y},ߵP`maѸl7:$V:E z9lo*CQA*L+V~c* 'QϠ9d?tPqkܳ%$Qpزbo(9~͡|z`〽ZYm5afB?.kXGB\k 'ᅑH2M=۹ gxnl {Ϧ6}aS[QL&T@ ,ݽ[]SpT6wl}d n,j([uUtFW*G/yGW3n׵tK];&]ꬶFF.8)Gu#