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 ==@ 4L ]/ MiniML:threads=2elapsed=12.921cpu=17.104gc=0.640factor=1.327zXZִF! Z9]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 ke#s 6:hJ^GPZI=Ky)۫b ۜ^?9ߓ{tRP %t'OT|qBМh\B< 1f,BEgTQfd<,5A\XW,iC"K#y2|W?Zn&=v$BH 7뺡<t k]/s.oE;nTNsMy724c߳,^OЗ~"p}'Z.v<|s$,@=|Nwa@j>\]YńBߨp<>/\ {Pɑ՜1Y%m͢p? [^^Fykϐ%ZJ XeX,# &vybKӼ9 Sgc8*D}~-,BW&2 M}h64&ݭ%{4hh[(J/Mş@A*)zbE%qy-)׼a{O9H뚺P ?1W *똷wbRR}o덪}jTNTał?փ D1Fw:!~{3ܚKR{KO+]~!4u՘=%LeqGg/yќؕ Z9J="tUڶfժ$ l }t9W<޶ ម_ :\&R- 5 P7xlF|.'Ң^^0 9Se_s,ت)ǁiY Cou&>e0vvDiMdAK٫}?sFT_({${r>Y,}$#!+ϞQgYZcb78bf9c2d7a4fd2abaaf095033ec0c76863825ca70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39   MiniML