SQLite format 3@ .;  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 ++J+l ]/ Paraconsistency:threads=4elapsed=89.800cpu=340.672gc=2.864factor=3.797zXZִF! 0]ŗXf[&зV08˼hA>6|Cɤ"Kje[u .o Q̛ /e@^t6`eъ0^l㉮=%I7 Z>Im `J}=DGb w"0LR`QiS&Kqڒ:Vuܫ6ǣǟ>4wO$Uf)TN$e˧_o?g#IړPÜ$߂S~p͸JCwckF-w$;H*!onXz 3Lt slIi"bvV fEOVU8V$KL\:2Q6vcvP:<' M'bYV1+ŀEiuiE6& & <4 $rux"X!k>|foS>6MG 2ɛ{% Fe*^<R(7'>!4S -/ PgYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# [y/#W8Wir? )bx[4g,}F?X;U:z"6Qjɂ@Tj#$E/zr~[nёﱕv[ɌV-w2PI(tт ldv͠ Fs@|)ӈ~HA E7D}^u x&ҳC*FC/Ni/ƹU$c"!N_G ԧvvYCEb$Y~47~w, r<sm([%5ktCK"2ZC?۠xDr~T/P]_ 2o&aSύPfR߽;3]hgsP3r;il?`w1/dPiyG~-,]HÐboa%3#+3жlnx0Z\;6FU?3,_$U {~wF( JQ3;Q9+XhS8ȉvqX6oA +}D@5Ј9/7 X.]8ÒU%YE$R6`WվJbBHoFȼHY SZl_5[HSkvQ+1}ש [h_5Ho=N8y<骳vI-A7#+M!T)gQ& HGĨOhg GA -uHpRJp-v^X-}Hҭ>ǑJ54E|T57M.# ocU`=$IH'Z?!$ұү(iYD1Nb6:LU_y&e[̿ojOZg@O[PV(W>tDvc=Ԩ""+Bw5 R.v@RHlȏcu@"+'`zP))ƚ_=YnI$QI-́}7, O+a٬9\fItx[*m/G{j -]_ը]|儕S]hQ~ϲ >=&gL eeyx;OU4HՌᩡ`쁹ۈR]."\?"F]J{N@" %rV&V wLh7 lU.ZY0{P>-kh+R+?cVMKվ|2QolaVG\ WY8Akzc 0y p||yE~P8$sc)V@,XY1C(ݚ">,a DPXh؁$C}y8_n+$QՔTtYZ/ :5?I":DrC,xb?T bR0'"G}j]kN'/jXK  sJiPՆj6\[AlYɜgӊY_ii1"itrv+[R' nO,-ߞY XCQkd mit =Alt# -PJڡnlJ$Zj V)?=k ӄ[ܳ(*SHVA2 Pu+в"ֆ̪-XVH LPE"}(, b$Sh 7/pOa6۲Z 6;a5xʽVuMvGrIvza/# Dty?6Kڡ'*OI IfF>!\wZ:P5ػA|>M2Ksr~s'MǐajJ0= ?lA ^ƃP7'<!%_6DyzI3QXRFnY@cG hv5+JA\p[^ O= -m> 臸=m^~j1dfK8"9jzuu8Ñ">p ?:=d ¦mz.Il+MSq`RHWt I8d:Mcg(V1|vIuw (QM"(:9mȿ8.EHSnWn7TڪOJ*ffc1YȫtECSÔgM-"ÚGTON*:/4k'hhZfxR~iv!25' ktp$m\ٻ}dig5 #n(g =/ -k-O4eOAut&y4*uܛ2:|;!UYSP _$>в<Gkk;Xb3dsGLCD=_j@9@품>( %Nη !n O;zۉ9ր B"+wW.0UzXp«Q! Ջ 6.uZ2xgFbf 俯+9>(+]4Hoz^fytcRa{Ma1>wSԚbVx +&>Gk?Hpj$s?8KCR!%fRhǦ_ $A-9`ä,!F HdsAeOЪJAN'Ÿ6i/Q Q=Gn2'CR@"X#o{E^.UD44Ew,4 կABIWROA Rl:L(qL*rp\zB[P T|kVr*V7pFiCDyf(u#ֺߠ^4pV'Y 'aIa .lƙ~~4D%Th ED\~IE?nA*- !B?~\]K:vKs7q}WHE9FJ9֩Vq>Ёi' e`Цz!әjdZWtA ⸍H0a??Zkt+LY$,FuYY.G rP#ÇN?D!w/ŐXor &|璮f_tWAw񦻙3Th(95Gu =%Օۮ}a17}L! "q@P{ǥգuM>EȦQǑAW A'&H#en5a7Wh6Jc ݵ7iEb݅v?F)a.3ۮ/Ɨ*'ĺtkMO^+vF(gLTJ^2AgVQ޼8ϒK_a<'ᨰl;%%;k m+}P 0W^|MaTn((V&UnOf 3 F|  6cG6LP0u&co $c/B g|Hʳ+Y(X@'|')n(, ]1҄S. kf%K\2$ͬHo2UW06m#qwt֌J[3̚)ugYZfbd81b92bd9c2b691b114b3f15ce8771f76f2981d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3