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 v5 \ ] Lower_Semicontinuous:threads=4elapsed=9.080cpu=21.956gc=0.444factor=2.427zXZִF! ]ŗXf[&! ?[Ai.d$_*r$r_࢟ 1Ln;tġfa4g,I3ExB׼8OUr*E^E΢ԟ  ŷpPEUa+mBF}b?K9O Q;UZf R0gYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(C(,`WKU#6 ޖ~n}DӋ%#K;]<:M30d)CI ܕ#pA_"9Jh_꒬>Α^Gp;)̭N3GE={KϑӬRV(Ɛ6##l-vMrFSb.@o޼M)t'0N0ubC!p݌ec?H䫫2jhl x!pxXDجeI~Slo() e&١'j5+2%p`}4WO0l#:'yI73h{`U#/`zk3Ibq 0E0ċ0Oz(iNM\9nYSO40TB'>kKM7*cb{wq 2pX%CI>@7Q % ~ ڻ*eG0GG7,kN7o<[jiwSzp,4>muvߓND ]*'6Fs %27iSVKf]P|01ߓCc=Pl  uWp2xWL/]ā>E$ϔcҽ=u:#K[}όX{179tDf_/HRF5g dK}; ^NgNOtӅcS5 tiȋ`OcPa> 7|aJ38\m{w+V*J_oi=z'8U5kqN"m$eZ@K&ƥ#ڦS3Ɲ[aqVY LHaq ڐ@}gYZ5eeaaf6a3f0f0553b67545628da79093c78c62f7eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 41e7fd7a751663d137b967ee5fba039f4734de37 5 Lower_Semicontinuous