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  & &W)Td ] Chord_Segments:threads=4elapsed=3.342cpu=7.248gc=0.084factor=2.177zXZִF! I]ŗXf[&}y(+O2Z#b1<Q7XJZx襾6KElBɛ'iSxЕQqjũ*Fj R+Fܐhw`*lkMhVxkv4%ut0lČ,p-$N :sP gYZ7zXZִF! k]ŗXiɟlٞYZ?@Lx!ڿ|h6^ M #${Tde f;(ƌ#[0k7+?\{C| {rggYZ7zXZִF! &]ŗXi%ES3ۥ;M"+e6y(F}1UGqÊ5je֏ߘ3ߎo9̣W *J̥';ǰPxT;/ڀ;Kb!:ǙfDᣔUUcCxxZk%g4xITh}\%:.(_Y!S߾G}] zh`c-ێw:JKQ~gٜ ]\t" 3Lb <=E|W ŔGxFq%9; %ჶ0&BTg.4!ÃMh`^QG[G{IVX28j"˜0<Vu#_A'[2577| _ "ZJKScscۄ\_?&f)ft}4*FD rBwx Mi-fGzdK/T z䖻I>ŶyV+ծkq!i$uUjKF_`gaeF{̟=N.r9I+MY#xgYZ33e5a82da99600fdf8d9b700b2f877a62b6548c876b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a ) Chord_Segments