SQLite format 3@ .0:  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 \\!) 4L ]S Dynamic_Tables:threads=4elapsed=4.904cpu=16.168gc=0.548factor=3.307zXZִF! !R]ŗXf[&M[Q5N,;XYRtd/ϣ ho{f0:]Sk?)b,nr{7Wu 6)2۲\V{\_7Nwf۬^nCB% |.( ȰE.f+,Ygv=|AZ.[xa $7 bSnKsNXxt;v&oJ4؀7vRv.N )ǃr/4,؃BiNHHԉpMCџZ] ۥbDus.waN;|{$2dOx@%Gד؁9Ńy]hbw9xp{n I*{O\:W}6o(TOws+'E;@v7 BLvR0w!N*u癞de\̪-18 Py.nWX (9x)ЯzÑKn7Zיb>5֙u`%d{ /|d}?x;y$>F!S@_I6]+HGb Ο/fg i%l(̺Ò&* T0BfBuC/t{p15G&^mta yuv;aNoߍ?bQA5'93lީ,Oz0fVy % LdIc-~$3k&QKU85ȴ i.};c|>T$= qVH;|gGBLeQ^b>gYZ034f5f56298b31a5a52a6511368ea01d6b1483ae4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 2a60d7e11c0a4b41b81c73ea7177f34e484f82a3 ) Dynamic_Tables