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 ^^' |tt ] WorkerWrapper:threads=4elapsed=7.208cpu=20.840gc=0.584factor=2.897zXZִF! ]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v zޘH;Aކ=Gu2S֝=W&`@񩑤HF]0, bAVgw=~֬r)fMb* ܘ1bN]RdvR wP~f0!"5,` Ϲ6'sO*Nvc` T;e-Q:߄aFў+ QIyU"m(=BWD<5YC5]HF{p>ZOЃ+4mo4Wւ9 fr*qy88rP*= 3 {@.#x~D[F9'V%%u5<2nk&r`V?HJ3` Z_Mr 4;GNЃliC)|fgYZ7zXZִF! 32]ŗXiɟ mLr?wl:bA8YÙ#Z{LgRkծk4Q>O;#WJ45Yޜ#{ S\`bݢk\,9^K&? YD!/CYlD}aA'Md*uµ7V 8ى`ΗuV2ut@'c09%4@(bN.0>ȊOqtLt{p"j(a&&=78Y;_8ܰՙ6.і#;4.">i)1 ܨGSw^w;:u7_(XC&x46:?J[X jjN{u$&~*@j%t kPfPG0W>.{9U&N `Ԉ<&.z&ĤGg@1[py#b4}*Qc8#6g=#+++qetыpOGiʢQA5O*T[ϼJQ[hyE*TjgN5qǼ}EЩ o^yϪ l}wYjh2`Iu5$6)2r)n Z.EAU- NJ&Y;ޘ /yOL1ܵ]u .jcՋeEmĞ!IbLh`L5um~ݜ7S[[H?Z|:m|;ε=&c> 2iw+tj8hd*_>1U25}㲁eBd YLcUWFx,Ki+n.Zt)=]:]kF+|z7^e%hH(i/nWXMprfRǝY@@6+ydv:6SK{7걘>htbr?OB%L oN9ݹj Ts3Mr8 |gv9/ &Q,I) l@Dz3Qh@ ?%o]{@ {ewԃO.gXX{JW2D뗭uo#;BJ:$8=UK+{DUgB縩%[$hϡP:t.UAPd`?ؑ&PA kgYZadfb1f68cae8dbf28002ff18ea88e2c1f8a8d2d9ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 70b28ff218d28de290ad58ced4b3f912eb286bcf ' WorkerWrapper