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 ( <\d ] Octonions:threads=4elapsed=17.701cpu=59.900gc=1.140factor=3.387zXZִF! ]ŗXf[&/=G`u&+NH[qUD&/]%[M6u}ܟN$B[DBFңgc`e_%0EBl㡖J–ahnO'Qdysy,+u`l2ڙ漉5@ݻ5G,tXNh!U ;̨zcEϏZtVh[+Q{]CΙX(1@8{J뾾-]n Մ`T[ -;Hi9@. Em")zPFSKo`$o^QN[Q)w8mq Bi[L$|n eje0wJ]bIOoSˣb !a'&*8߇J, %ySG"&gdX+'kO t*hM[(de>i @΀SVux_vMᷤ BZŸh'1&@U*Q/v.EKv>>Ǻ wViKb r(v:mC4#=|ITG=9f+AoK䜹ɽoU/߱]-(P~8DJg)U`JR/bBRzG}IY?K^53R%ifbE"(3ĀRjrJ/޹[klURzy|66AUNq(1`@)as(*fF xw$ԪF"@2HƵ86gYZ7zXZִF! h]ŗXiɟ;LLyLDkCh:\OW5Gb[D@ #ԫp6yi!ۊt-l"F@#W.찤`Kb"gYZ7zXZִF! z]ŗXi%B8]z*İ*W7CZN )1Y2yJ!U'j#?AH^? ޮi"v8zTܔ~QauoMsӊdl;79qنt$j R!)gWa&[2-Wo'ZS@U=’?Fjx#p;3%>$ᨫ 0LeY V]!sA;Z׃'Yh0B[Rﭲ! E ֢2SNkAyC/B0 S=AB.wb~rX1 g^M3?E)1QB PdGvu u8+E?^xgv*f-ʤN8P=s&ulnT7 kJrJr6~*3+-I&|F Vi-Cn:ǻ7>dLA ҅}o; C;KQ<{S7cjOp{_< c[}')D?SL/XHH EK]<%W{VW ~4˿!$9 ՎC)`b6s\< {##i4fGelrAačto Ff|}f2N83CMMK9,wOemK!tg~q.rNyyqq .{fo+̈¢Dά"XK&bk3TZ>k f"9 jb)a {q*P"dM.kpgſ3ѷy6 bǔH .MFځYo]HF>(=6ls؇i.z|ݜFX[e [6jHWa@q ;pxWyG ;W3텙pQ1"'NZe#SDI$ ҉#y=Yo+*A1Nh}:T;NHd|" ƋlUʼnykcoũ#ۛ ٙ8̺]tz2Z#aU`O .a.F11S~O@/|p`MA7n'r3 6д3ωCm-uyEo6nǐ߃nvyG%%-