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 ``# |$ ]/ CISC-Kernel:threads=2elapsed=22.879cpu=41.860gc=1.684factor=1.837zXZִF! u]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee8q0we 5ӕ:9ݭ# qIT}xL1h"9e%_XrYQcU-ocG(&AC2 rJ ePڃ^OLo+: aM+eG*gh1b;$A="x)s%?ÑUtc4l F/7PWHMʜGk’Gd^ ~HC|pjB9!u+EְbXzŒngЮrq]gP:.u0םh:FEyU>iY"q*gyzȷcӈ=L hn+Y\ [n"9^6Гd>pr|&qqoӲF 7JȪQ61:˃}[u Hh^ADLGu]?Ǽ DVexš$XxDDgK&RnwҚ'h_xZ f}Ploп3i@ZFq w^X܃SQob{eKs^A~ 8V o,@ɏw?Y%>l#NSpI)i<7(h1|[(/[VSnÎ(>qeAS](5Eț^]z]? MWyNjBuz1/A~I=gs%\WRue*]؃Mx07\X~-TgU0BC ) bgYZ7zXZִF! L]ŗXi%>gMB-{`Z^'%H'8R7A%/Y%`ŅK0|]`6i%4Y=M;kX1)pM5ά3 .S'3T(Bޮ}, :`JAl%36"@ ]]޵\ N۬GLAiQ%G4*ފ H[G2Qu #FYƕ1^sE9}:tp(BS"3ż-p䫟^&p-q34IR*bYU˥[voCg7^x _-CҔR[nK6ÌwQRQjmPsORZ8E9źPkҏ-)ا(Nʓ#yM/۴f#W4\KbQ-,E0;<ʞ#}U!AmjLK3*KsE)O7Y\ǝlĐJ."?qļL}XgF啁7#eǠR>3 :y}n # L ?*hm<հ5KOR- =,7Z8o`Co\56T/e 6Ÿ )ù[3.Z,B^=8 moaE/ւ|#AM8hL\ف?Iitk<e;w»hֳy@8 UpP̴eٖCcb|ur⚞wQ%J!/xsA7&43S;1!^Z_U"_-?p% k1Qg>cO௫XҘL6ar@v|ypĄf OGR6Qa큧+5u!S{XU[͉5El4ytǺ E<4D'R<8QL l`2"*XYmYY$=QShz5<*)u] >Cu J`oִ[* N/Q/B},߮} U vba,.0SgYZeeb9b307c45d30fb409bd7aa8b7e7590b5121d9f665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 # CISC-Kernel