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 N D \ ]]]ZF:threads=6elapsed=12.555cpu=45.300gc=2.912factor=3.617zXZִF! Y]ŗXf1-) enȈA$jB80l,v8-qFN}a!fW65sLZ "NY- n ys/'IG8=GUQ2GL6=>M2pҤD5MHIMRiGƭy cQH6'3 C< -9{|gmS+zp1VnvSC(^M/G1Kj=/UAȇ DQi hPL|acHeO~fs$Bv%sӣb=玢d6&5|Own[^?Zݻ 'M|;٘z$ʼߑUmg#6o/.`X$<.u*RÅ |O}n {7+6IB ^8E|w+ WI\xgYZ7zXZִF! ?]ŗXiɟ 1FE`穵NI俠6ewQAqƆ?7sp]^6"MizWCfDYZ뺎#PJO13Vsyee@4p}^}bÂ`A&yNvqu+|3z%GB.a7*]aٖhq*-:m@'H/g5ИԴ^ )b CP Bˇчz-ohLO`=|ȂS~Ly1{GU;M|U!p-J&W0Z:qF./@O`- IFHK-9C<\`lGs+ݨS7 8?S$"#H-.0ut7Ec^|Ϻ"g<1 YGEς%`'9-`bM*{.gYZ7zXZִF! >(]ŗXi%>Wďe#|BpBjrޟ4X>6G߹гפ#̬*r&blQaN_x{򋳨I8OL}?9UbE 1MMg6_@@2 ;.]OZܺQee[ǫ7|/ yXA:p0 GFQ.BWOٛJ0;'wZp=l'!Z3M3ʐf%؃k? ~gSc4jޜ$@%Rn||cgc06qyK{L Q/{8okQÊ%|վ\ԸL_?JbwSQ_[ bSTkN'W!%UXشL@Zj g$i[g0hT )|`;,,mgpsz ɟU Ya<JW`OYX#)bOTTaap/Κok&7i g0S,3 i f`Mz`Z.[+tGQ4TfGz 9K"[kk o&dU"qKpDm >Z>%+k nzhqĚCP@<S7>O.ˇO#\"Y!BKa0t]kDS)gΕtg=Mc@M>uRg96xYA41:\w"ޗv03u]LPضf%Te *몃[FpY-c/0) o#lP19}<C5DW)VDJ}~mKu*،lA1m);j/:4 }%*;&8^FSB皅.p9tcWx@"7PG*XTLlȐRrqSJ0tdQ5j Fn&v' ~'~r/oxbר4x՗҃}ʪc$E`d8؈:S$}Ss @:X @kkO>:٧W{ftg3//,0[D~XR)0zLSe&KL߂7hFe㘿 209۴v鰧c9x<W<1.%4䷕ }v"?NgYZe5bd8afd468448ba694fdc1c28f2477113585175949c598a2bd1e6db44f140e6fcae9e1de0a86ad67c56357766230accc668188a07f3b8791cc8394f  ZF