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 + $T ]/ Binomial-Queues:threads=4elapsed=5.205cpu=11.448gc=0.336factor=2.207zXZִF! K ]ŗXf[&]\E _ ŞG3Qֹ~F; P9+H!VJ[(ePmqv 2 Fi?ݐjA|8x;=B‹hݬj9+z8Mo;$ `mnj #j9eΞG&d 7 k qSeZW!.|PGqGu:%$yU]6zzY on*ѵ5fㄋx5zEJ>ԌIB"Ga d6^co?$`;i/N*JhzL- *L>o Ldޏ:ic}/໘K;pcQ$RYE)_n=KF!̬Q}KcSWJ #71vD̮|E1okCO- I[.Bb̭Rm<%x51ZJ;\$Zubgx; A#aosp1 OW'6tךȕȟu},~F 2CFoFS4ZӠKH# _Fz x9 .&1PID#0@haBg!|qbW.neS,[ ^ńݬ;WYt7ρo/#(=tRZ?. z4Kąt #. p~~I( i/dp#z1"s6܌l2kG>J#l{idoX! ScITehP-M;?X[ȺZ8'`ki[Ы[7Ok7 <ŕ=(\NPQG> 5^]XgYZc3a6fe49306397b8a687c04c3b605babd42dc60ed3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 + Binomial-Queues