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 ?'ju ?~kT0zp@O2$y=c^v%xnkq*#C9v㊮wC/͜QE[m 2%u}z$T!J`&(H\iY:*0+ D H7y׻YM c g#89-l|ڌ'IOoS=KC!5r a8d-kԡ6k(PrI1s7Ov<=Y* Iӕ Ij,TQWH ;^1'T_(0LB^Nh$9*fRU@+j*S_e7jR+2 h} D|x$bQ{kp kYj{T.஑1 D ߇@ i\pp3@~?N;.$ey5R3)xW7vuK"kAymSSJ4)9♣ ŤA=YԎraLX{lNյE.(qݰEI0BoO5hPt+0t@Njn)6yG;b)ׯtm8'cN'?Ϥ>s6F ]=<+EL^j]a>(S);L ~,fYÿ;gc]ЍJ)*2:[-$jG͵K|C;9Ӄ#1Agf89'K: /ns@*:ݏ^]NOgYZ7zXZִF! c]ŗXiɟ˚П/r?ii<'*N!`%357}&H0p߭aWD+x:|]O