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 w' D|T ] WorkerWrapper:threads=4elapsed=8.645cpu=26.160gc=0.916factor=3.037zXZִF! ]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v }p;Ĩ/EEI!Ҿ(6ėh=^!oMDl D#uⱕt=\ҏxs+_E]9a1ž4"(a֟vu ^V'~e}vcFѨ6[h7qd4S%6K\E7"zm_?3 )[e~BD=! SU}$Y OȾWv@C%)1n*=E# O8"n}:z=Kk\*OL)g: ·XC5ݦA)K&$t LQ%ID[S!:ߝ<Yxb]@gx4h]9t3b)_~P4ه1"&Z}a]lGP#۱= J}Ӕ^w݇z?40*XŻS4 e:gYZ7zXZִF! 37]ŗXiɟ mLr?wl:bA8YÙ#Z{LgjOL~_ڤɠEE3`r⋮{^~-:lM̀oXܢo!S+ފ;fEd.^|L VQzP!"NuEbh [lIP8niw[W"ߜ+ *wy!*&KzLmm􅗰~)!,ȩb~xˣd%llr@?WRMʧaPIK҈B^Zrtۥ:v ?*Ma JnכOL2];dWo*V8VoXe UCso^E@n)˼@c.(UͶ\53Vi9LlѨ9X߽=l]sMx\JONpBeT;} 낁bU$ [ĵez^?bXm`qع!U+5geSϘ~Z JI~P[1Z9N#.V } HˀN^YkFٞzl|o!+:sNy1PZ#vz0ht(eܺ!O🗪l/P5ީ%bq7oahsY ̼Vo:M Q$X5_fAY+k[ڄIdӈ!A@`l䥪@+?]  > KgYZ7848ff54301831889b0ba197e1fd0b4391d79c113853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 9d45b45b04770ad8f814958e40d780ac8d52e233 ' WorkerWrapper