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 f5 |L ] Lower_Semicontinuous:threads=4elapsed=8.355cpu=20.016gc=0.376factor=2.407zXZִF! ]ŗXf[&! ?[Ai.d$_*r$r_࢟ p*n$ɞ/ n5VzD z,POƚ5ql- j m71qk:)l@̜*oFzQ{بWa:K5n[Z#n/kY_ I-gYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(O`?T{ȁy. -3?@\/Z>9ag^4}YZ7zXZִF! E]ŗXi%L T`>.ឍTpa1e&*״kS8b-[[,(K ޱŠ&~vXӁ6&f}/?B8YDͣ*{fo&|#lM-մ+"K=hNY,NVbvlYf"}o,~Rȣ"m!P95V 2X r~p5Œu\Ӭ}muvc1 37&T+]F79(䂒VBQȻ|KaРEfyU><-bV'jly?=w`m\o~r jiy;T! Nݕt5x!H"(:RZ!1G%!;$-DSx~Y[~!>zvdT(>l\HDL>Q{mqYo*S% ox jL *SC:ىԭ !ʲ~H5{ϿX[ǯMpHLJjOayf%C$m+?5?1 Ti;Pz1|O>ɺ`Ya?n,Bǂk^trf]( xsw lysv+ Xa!ؐ9ܱ;tX]Nʃ {RBFl ,&M(b^4hZ+M鹣axKSAv7(BKN3υW^/,-M?܇.Atq}]LK"XqU>=oqd:C YjcnG̓qpt0:]Mgcx)aܩ,v2PyإW}{Xs7Fa_Z} udc?J  gYZ4d3d7c171e5341dd786d9a80a611495b31bce84cd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 5 Lower_Semicontinuous