SQLite format 3@ .;  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 FF7 tt ]/ PropResPI:threads=4elapsed=13.893cpu=29.076gc=0.984factor=2.097zXZִF! y]ŗXf[&Yux6n8Zvk{CW\ ^Z̡ @j*[8$z x)JX=S(SF\b/Du30$Q(oj4!gT^y9RV/<~YN z;vb)\pJ!DTg^'`{ǙFHh!X8]IVan~m ݦʘ#@gn=yvN kHċ/L^T; t9b37>+ͥ'c?5B>pr``g#']ȊD_pc ϩӼǶJ-qgYZ7zXZִF! q]ŗXiɟ˕A|tYnUzݪ7PE |JT2 g·ffuif|g!tÉ?ؗ3{<NodɋES#FzӰR|yFi3Pwpz<;#?kOʈ og2p/RRCx(y64W;܊t2W,E^ߕ<^%ͻik:5_~m:$zjG s4vr6:fE`]Y&qWjrҐŽ5F4XjH "#a"]LvD0y%(;y&<قu9.bg;UT[+ cmMT.U>W 訍>Y3l$@w V U+U:9A΀bFP*I'3+|Q1P@@XGOGuQr%O;N0j4=jZDUoxȥnffgXuelUOEON9CBn!.Yu6 >u\bwOiD燻cn2ͷJ]8pR63>K^qX'xiczk KZ8 UP Cq#-O Q)6tN5k7lЩAr)tcf pOW*HY2ٺgnsei\N o$Tł3GwkqG$!G_ *Ž.4>b&/KM$ܽ#:,bo<y?6 [