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 || t|L ] IOA:threads=6elapsed=7.145cpu=31.708gc=1.548factor=4.447zXZִF! Z]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|H$^*vp̮]nXg8c~Fp38TZ'6o9#QIռrv],Rm;f]&b1+B*p7aK 9EЎn =='sٍ;wuZKbLmXCo6+a%iʗ999=nhH㉎2εi27ؠMwHi/e&^{wy/  `ț1gYZ7zXZִF! )]]ŗXi%GAT̊wJ?N/GεjGxlDJ -?lOۧ&BUK:>#A7\$=2lT08FL $9yOs80W}rZGjRh(eakWb?'R/Wviv;:!^Fњ'J]hMs ulf-q',|{3?-[5ג3ia13J:|+/i+%xQnj6auňd$"iT|^h,Rj[%-f0!D䗯I~EcpZCJ2;Qe#o4wXXZ֬*/,ANR? j"X_`|>+ *[7n|c\]\sHYvL7$^њ;ن0i|Mۗ !K+Ⱦ7 wyeE]? QګI8>uE(0'RYq'y-~k'&rlT?_.Pty}-8RiHA,aj{\ZUED)@ 3Ƽe0|34鮢gHF^FziƖ>ՃU7??4Ch:濥P]T!XED#;B>:zڧt J;YXLva/+ T[ӓ.0y*)])m0*;z,z'QA܇/  vX+M|ՠY/v7(yCНcgԉ_[n~j^ VM#A,&Ht=N/A)*qt+潈n MʅԒHS݂#|ro^k2=3v7q?6m$-,"13q ˩%Tbv@ʹ@ib7=!Y yN _t<24kj:SlpG4Sե9@bS~t/+v[o8UǺjiOܒ\-ǝ.GPp`VƋΑ'(ֹiVYt$l?:\P/ZSSQgYZb6aafcaec3e683e36aaefdd46d75f213012e9689f3782e60e56b1de215ee686052f461bb18c61005 ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33 f0bed6d85debb1decba2b40e73d7a69996d5bfad  IOA