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  o+ \l ]/ Ramsey-Infinite:threads=4elapsed=5.356cpu=9.304gc=0.148factor=1.747zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l 'O)ͻ\JͿ =bnJ;EI\4.ㅂ2sX<3̶Ruip3=Тj%.3BP._ q59=zʅDj鷜_A51-c 8FMA(Q-F%_ի0 ׎gYZ7zXZִF! e]ŗXiɟ1˦r.Hil c`1X144uHF[l Uge |x%%o͢d*ksy+akw[=lRgYZ7zXZִF! 1o]ŗXi%L . ̣Cgdx:Z* 0s n|}ߝ/ 45om\k"*dw2 ZRG 45źj9Lo}uw蒅Zqec_jb1 T h̶F\}X~џPWn8NpM Wr;G D i9xSu6-s!TFRg۫pxIDFT- ǰ0R|AeUB1m)9c"0'ᦴVV8 %${1)za0o} ULQhj%b?0;>Ʒ$GgHCKJ}p b1Id/u1 "XܻQeyCRjCy8HLE _<<~ jm!#EY30hig$d%M(Xp|iwϏJ nܔmNy*rwa"K IhiiSEfz'س!N6T*4ѡJ@GO1s{24Hd_7A~XE]tV iSa iFBgQe?fЄ|@E