SQLite format 3@ . BBh77otableisabelle_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  5 l ] Lower_Semicontinuous:threads=2elapsed=6.627cpu=11.072gc=0.276factor=1.677zXZִF! `]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&E?y_3W$哗yy~sj.7=\KQb_..W=T}Q\Y\e?7P<)Ύƕ(]GTgYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(CsXzBCGPq\tg^4}YZ7zXZִF! 1DH]ŗXi%92xNld`jpm"uX)H/ᐖ2+=@Qʻ?H~z(p6̀\^ZnT&fuTK2Nab(%K8[`(א\ ܁N@š-kV zkq7cq3Q?K7O=!r=w)kPfz %=IK]ڸ/1[XeVc{w!|x ww,arDʽ`^cGŢ|-@QXDԳ\ȷ>rc&;^ ] e<( {N*[vý8T rIDm-!ZCѡ@?@hGQ9[+^/~epj+C>qwpR6rcZq'nh6SegC,RhƵS׎!SaKwj F.a|bP͐.x-} 0Ua0V]=-kK3Ko[C3Z:vBd9йt>IoMwZ \pAp閫TV>pptᗢCnó[yA_E^2\QLgwU@TtmbxIݽ㗈Mz屺AȤǞ3\ŞKy i@".`yS3Qȭw}Ph`Ҷ" Oۄ#;VIm WP\:S)iwI­r[5o(qTYLh dby˱gYZ5daf106059b9b38454ee3e7eee6983086aa559e30dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61 5 Lower_Semicontinuous