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 jj' dd ] WorkerWrapper:threads=4elapsed=7.348cpu=21.852gc=0.844factor=2.977zXZִF! ]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v }l[_wzXQ2[p{}yΞB/>)V|7," w#=Z8xRQYSbKyqƒpjq,^R?:Mz\A # Yyu#wyDeL*Kۇ{N-,gO?/׊vq_f[nb7ӻ$ѝ ;AD ͤx;!t*l1!TX/FyTIS^c]d#pNx ΄NҋMs4%t'_`@d :4{)|W"z7!^LOn~ia;k2-)N^:\V[}V\2f@1ƅ|HJyWNQ_Bg֗2*3ML_#*gYZ7zXZִF! ?]ŗXi%I o9f|yzHͽt`ӨAjH]-f&-әjbJ(#*iE)⠄)zomk^ğBKr7bY d 53CyM'{XJA@_M ݽC4kPw#pERk 4 .ߕov?jl ŵcy [i0)ԙ+HQILA/ƀ ˁq\AKR|HU&rc؆S!'bQB[ M߫'()en ڴ AY  14[qkiL-ȕ#*P @pL(S15*$ } 3|Oָ$z3Vm7]'C!m`(H(J8/%2ejKY sM֘ tYUVz@$mOrf"mM_=SǬmp {6 mhY%v14Sla}k/MLF6a/ e(lguQpeegAo<TF4{y3 ˸_n= dri2;]I.{i._\~aLpsP C"plvt5p>h { ԗ%JRF>YA _9`r# ,ϣ#//@D 8qs_HIx|VX{R[>Zd$e}=H.lWϹDh94vLxʂr5 HgYZ54af008b85ceed6c449131dd7804ad20d96bc23a5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 fa3934eebd2832ecee6bd7baaa64daafc4b2f37a ' WorkerWrapper