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  J+$L ]/ Paraconsistency:threads=8elapsed=51.587cpu=365.481gc=5.500factor=7.087zXZִF! J]ŗXf[&зV08˼hA>6|Cɤ"Kje[u .L%wcؐPs JEM4_ $B[:B_c_MOG*sHЏ^ϒU |lz0`Q罒~q63%h#zΚR i7:uq zzGl~5pjZ1GJLU\"̵"Gbzxn:^)CxJNڶUIt~´MdνƐ.a\ 4~|kX@BcGe~u9oI`I`{C\'8zo-!!R܊hKG7䰺v&a:Ԩ%ꄂ#s!ER.r5Sy,6_C'#h{ F'Xt{yĩJYh'6ߡŀ/6@|?I /#AH/䵇j)xÍ/*j{p[}+0JSڮE=my`(Lj(16ڜKӜJnMS(el>>1yYPD7 t˻ʹĈE=[ؒCdMm3P1,.E%ʌ8X_shJ(g4]R')Q&\Ggny$e*`?;c :NUڎ& W5;!,XK; (]ksx_5M 2 2;D"7zm,ėWu8PMd'gU1*Ga] P"xX4fTx\]8hU?- 3 :{ H>ZP`a *|#Kcb>USF_Z۽עBȺ8p#_=ʵVyC ${)vzg/O[~Im7?n"E;@PnI=28_ C)"m^p(zMZ={QAsNf bmhPn#(J+Rw ).~ 4C.Y9K+N;v+S cDX?Y|rhP~;t\;|(\k:vrV;IQʔ>pSm'E1QEMMй wBփ) ZĨ8|z1f+;I2xȇ08OT^>DavFQGX+:" a?NQni{l },OtnQZy"SðjMjq:w4^E?MIG ua"li}3@h |SS!d.ObdRz˺3LXʾp'tE;&H:kkS]X cx}Moȓ('vR]16:RY:$?Л25Ę?1͗E"w#0:kԩff6Igh.)C¸if'}Jluҩ`I<6Vχh;V SO擯YG!T˿cx }06ud<%=w cK S6g`pPNKqSA>f*;`șE6dI_%c[W(_k̊aT/鉪ǧ˭gѦ5 N 3jz?^GI$ Oslo2E52k1B,<4~68i kKa9KW2]ºw-dO jqAY&36YA @oϒdYfG"%1쬎kXm Ofu@#T%ITR7[=,v G [i*`&CНAi+$ڣP̓ݩ`P%0`^6q~4k7MV{>{cWiaMs mBzg6;4jҚ9KI+Ziy_!\8,äǀhrt$'nT\δA0d7aZ' MߏfxфW X~E໧=0"dw eKQsbh:[$Wi,R䊂Z1eU8uV@tR*tx7gH]}h]mz*[2!N!f735:{kZM-*٬+ʄ-<-<`f7o3yG֫=1%d]:=@jR@a݁֔wdcYe=Ahc[0eC7.C x3^, 5`#,/,XpsG7OE ^iSeg.$S3Cl;fg~;ȭ>F%C6KFjVEQT:eB.MA> h_a}yY)=S%O{XW޼L8b!rHķZ%="&,wӶq{/Iq{6t.Y{D| ݩc[e# iGpe<)u2:ɖ-ź9^0p;:ʩ{A4,^YUQh}7.qk Rxj<@ ɃkNQ`*">|^&zK:a; v~ˋWY=/xʾ7U %}if,@fEmڇvvkY YEV|xVچף̨G\LjE7MG:>LsoЌ+:;#Y4 (^D8ُ5rۻHq\"IrgYZ9d8d8594b00a996bd209ab6a0592c83022d53315c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b