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   i# \ D ]]HOL-Nominal:threads=6elapsed=6.466cpu=14.212gc=0.860factor=2.207zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮLӐBo@mwMOD+ 9 m6o 迱eC"_ƿ/@٪Gɚ>H!:ۿ@, br[*5:<D]7x#`G@)O.B#Qj"1{IHg |gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ؎éE^0sfž]K&!Q]\`I'{J}YZ7zXZִF! #]ŗXi%EW{ߌOYm=Jz([#%/s6,ʠk㶩\j{;'[i3΅.8M&ևa}muSCPC2N* ,VOw4;0@~feS5bƑW`,IXp*xIZL/zE ,` ZG:*z;g~sv!twJ'9԰oEn8H{ TECۼOTV~m=J:&Q…AEbJ54:%+^Y ]1/y+CqYd1k"!"_y!g#<<\'V:bݐJTGғOj|;AQԜh biQڢ .6Jmi!1bրx,S.zPS~1lպ]@Ϩks$?5KzHWoEhnjE!pӴUv`]G*8Udm8|Q.wNTl@ Y)>݊?:acwS*fq)"tn;zV8lC(T Yj }~T?| ^ZJ`vE:q{@Z{@5B;3=;I&^M?IG6gYZ3466ba6b5d9cb8eb8cd9c1a7bbb4ea135eac5a8878f8eff916f7453c3062e701b3cb18e4d64202c8 c47adeb2760bec59a79f0bd1fb07ca0ee2d2d350 018b2b0d6bbe5dae4713f7d45e0fe5d80d4da44e056be9594827549088924c4b18a70f0f46f95445 # HOL-Nominal