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 y |$ ] Optics:threads=4elapsed=13.434cpu=32.552gc=0.716factor=2.427zXZִF! {]ŗXf[&]-~1;UpVω eïihvJ+7mdnlzB:Mx/#Nx#yHއ*~@DFi,^]DR[liGvn9k*/M~{8bUQr;0ph>7JOo}pJޭ\]ڸ3[.fg ܚ":{b=YwL?qP D( (&~w`!Ө؁"VG7EWaCn s UYzco|c;!kX,c&MH_ wϣӞ,'킕5̰yJL7)B } ^ɱo-c$ XTt%S|7ׂJfHMQ#cR0?%O\ "~gYZ7zXZִF! %7]ŗXiɟ.x<3,6g(8hǜe|n<O-},R[zlUĢTИ4(M-'4 B8Ѝȭd9JvCncrl  &?)(b~2hIT8/g+y.% *3 PP%/JyyVI @&]z+'"SJ%>\4pcoFսG,F ӄ4* \4F̄2@'8`e{+2wFֽ3(h;S1.GJb_ ckc9(mcUv8|+H6v樊5f});/*gQzx1xݑ$ pj&Rw^b ׵_⵵Q?kZ4ZqѵyEcqԨo~?L{JKdJ @p!vطZ"BimDX,Ku ȁL~#ܣB]ہX0QJ°sbs [axOIa| Ԯgchiv{pՙ×K9mX$wY9&ٹ[ء tYFl!JUU}8!@\ f(;m>/,@DuiE U;֌" r?GeLS,|`''$A&E.!V*_,#~Xs+ ]#r!]f%-.Q|Fw* w64tvʀ~-ӇY@]ꪵEedJ~ ">̙ۆ6cת/45BfT $ְ^+v[f* < >HwpL8lYѳ7y.Z-jwc6TW,X{ VMhfI^v!a!y%PY3˜4#k섮?QS4f}@)~DۈVRSN`E0<=03&Vpg>"te4btI7@?9<c v3Pb%UtpK ^|}Cļ?zM#p{fՕOsU*ɦ*?W!U#63ceyEUNbRD c#T @޵@xV I*&du=uL)<-mE#L^V;:d+~ߧ#o}ߞ9MPM[MDO'u̲a#{Vp=˩Nv g9<e2,Ъ=6ف7\ˢ%HSR.?ӕfG'`)1t=܇y\D/ t>٩ JrIQHA].MB6q}3@;|5_y43M