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 ..O' , ] WorkerWrapper:threads=4elapsed=7.744cpu=22.996gc=0.828factor=2.977zXZִF! ]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v }pR=cX7jMbط}#!Rkj֥Vw%I f`sg_[M0p9ǙP2\wsK37dډa' Nw&Ƣ)[:X@< mN z2)4(FlR 'ϑwҰ1d9}ySOv6.$.4(-+?$'|,7[;\3O/EEp[L+jUBccae-ZM'|I3U >#k`4Xx4.z>͜qFQiv~ve?{g>W-s RH!MК<ۇ;4$A4V/x匃HZ`Au 3\M7PY*0 [RqޞTuձgYZ7zXZִF! 39]ŗXiɟ mLr?wl:bA8YÙ#ZL>[IWVA9< Q\jzV;C@]8O>[>b;dwۿ \K?Ppݮ^߮;2K-=Y{HN)a1Rd)Xfh^Vl!`/R{8H`߶ZY3f&bg˨,/S3zH&򠴚X9Ywym, c F M\Wj%(6%dJyGTQQ-)0vw4_ 1*ҝ_su4x>p+?ndiӧ$T5ɕrYҩĉnOi3zt.i=G?[܊ &ŊbP<`; bZ~ H#M&L{efsD 15's4r dH##`ƂlCQ9x>p+aMfNvB֎ŚY6t- {4|Eg1oՑ6  20YQE;9UE<()dIh/e1BKo;&7,8trC Ī h* |\8 -sgYZ445bd6930e20331c95e9491cb7d3dd1e76adebbda3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e d31e6c78d310ac04e625ad6cce8d119862d23c6d ' WorkerWrapper