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   y# $  ]]HOL-Nominal:threads=6elapsed=6.442cpu=14.820gc=0.992factor=2.307zXZִF! / ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ.նϷm]z!vs wEħu-5tg-r,U7ɡRHdBxOOj{ԓGw6NS(%޻BIOK3,&AZ7? ^Bg fi79ut;ukbz6Mf5% 뗹>y;YSDŽZs4r2]J 䩱gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ za@~b>[+,v(v)w O|B`I'{J}YZ7zXZִF! $]ŗXi%G|;#W~fGxuKLr^ n#dŝ']@TJʊ\P?Ϥ(j'z&rփmQ_l$!P.#@Oe,kWc4i҃; 9޲Q0͐˝phIi}'Co1VmLΟr>Pv fV:P U茔3sJCkCh8tOg>,0ke9|ϻwHvQGWP3lO`EXq $ 6iefi"}nyިU0GtϺ+D9[ uV/Vb"ivVDDO9/ZuM"3* K~Ktz!EKS7CC)QXjH͹Q=$EcFe6ձ DF7nH wWDx́CKMGrOiSBAvFZuuuဦ'Qa׮&1SUwWe% :=b)b[O ՜(&]VY-!<@kp/: /j)ZC5ϏàVi$h-⬣ H~TWgYZbfa84d1a626752ac746336ebb31167a8914ef8216e17447a00107a84a0d911955493ae00a345bd11 8f7c907bd2182684f053246d01bc6ec83b1af4f8 ba6c7bee358667f940c2d372ce3441f58220cef177c92cf9f2d5972e205cf838fb1c5d8346399ad8 # HOL-Nominal