SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  j5 L ] Lower_Semicontinuous:threads=2elapsed=7.104cpu=11.836gc=0.288factor=1.677zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP@ѹI2B jD 0xOwVkK6~dUCqI Ⲅy6L?0Z OM3#@kr>.ϩ2qZNڇi >ף~B@Q M SرgYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(\)44wu3`z)A"ir?g^4}YZ7zXZִF! 4]ŗXi%>g! p AV-2f:Em)bIh2բt4嘆挅@%^R; AvX= JYOln@)p|I\zps2ͥkK_{JLh_Ҷñ~yZ(&n6Z -7dV` )(vݗBBg7~Ь4)J 8A6oC̟ae$o<@h^b)X̿qM"|+BHSu !b'=L#y%&AxtB#աÊlzڢ~ 9JhȣUs+r!*V]75'3~E 64;Jzеx`k)"klQ_'}AuP T~fylsn Q۶:Q&,VeV:{iwf^ "kI1r^{jfYQD&!O!e[릞mJvgṝ`` 9RaN= (yJť?׭aN:`M7o 1ˈ 4H1 ϧJUoC/Aq9v#Y>(J|MaT$5E}(( }c@SFCwZz6ܮ̠˶ޢ\HTƯqTʁ uh.>G #Tńs12p/7"4>pj&wziw> urU: l&)5j!GWKʝt-h^TT7Y*xҴvOaE'6iбgYZ2680989f0ee615c14f426a39f589b006d619954ea70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91 5 Lower_Semicontinuous