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 W' Td ] HOL-Cardinals:threads=6elapsed=7.446cpu=40.028gc=1.912factor=5.387zXZִF! t]ŗXf1-q恈<-¡$johkX2I)']8PIz/QKh2TzZWL 4Q"tٟFaWYa+8'nýIJC zQhilh MmRAhm.qq2R ;ֿrn\ao:Zh<^3Xg ƀI2KzB8X .X{BLҗ&GcP.)į[rhymA@Ώ=EOwP[+k:TPFԫe C w7j.PhRVXjS#u3;O Z= (kɞ/0ic8͟\2আd^qF^ϒ [6&WpO?9ؔP~ʳvo  "/w$F7mYŊ̡ן)"fF#:fF) D}Z-.פgYZ7zXZִF! ;)]ŗXiɟ1?ߟt;9BP2CZz眭5 z c~;qׯ _jеŖ>8!t|3ds*^k9n >9@Cx8AHcm< ]FEE)0go~iM3+aަ˪Qm#`L5@P~EqMPYĘ5L ܤ ~9!@6ȧ#hTǣ凧Ox]f8X$|w  gYZ7zXZִF! $i]ŗXi%>vYEU`𐾟J[ [VB`x[Oj#!R%:`{A]^c^#+F`~3 2jlxy%L)Ϯ&y3esF ؓi95A%+dE1PZ'z@SKJ'-a >:ȟEcgO˥9_s4 YMkX} KKLluV0Nš Ύ?"}X9HUIDũ x0zݙSօmr0?rfG^*(,^p"ZHBza݅/B|(6^l; ܜ?ELڑLBWu'MI8;@6H>Vh-82Xb>m[U4F =S&5ϼHKiCpC$Ǖbv+Fځq~ݱ;Ⱥg!F+:R} p6[T{q.[TcѵͻGGh:e{}΍wy,睯]Xfs?` /NAݎwM*'/JY [dt%÷O KsHEإ{ԥ;9 O 7(/x3#b?@Y\@Lڐ΁:Tk :Zy*?}[ Z<"deukus>t 8u3C_JA,w> #.unJ]sϗ?ML'ԣ?2b{r7[zZ`%%[!oq) o°C=I>4(TpeW]Y f{[5 |;,