SQLite format 3@ .;  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 U# $ ]/]HOL-Nominal:threads=4elapsed=10.080cpu=23.052gc=1.052factor=2.297zXZִF! x]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l EЈ? 8>vNK )xsK e>QAa\yL@ꭙK/D*^7/e<2ox&5{f:[=#f+.H7L 0&ȅewB7:>D8 5 'x!G!3wj2791G/&4ZhN-hޒ\!d ֛)7A?qp-Uۯ6guB=k(%.F4ںr$j> #d)}-{K>gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14{8Eϒ?#y(gg*t-?]kbP@BmU!_`uqOo`Fiٴke?b[ ױgYZ7zXZִF! 7]ŗXi%L /G.k( E!OV :|z.G7Ndؤr$k1hH,?9Ba.#AdqQnfȨSAy^Dф h,T!essUO@lĮ;J$ &W ->orBah =֮`J\D^eV`k,24yݟTSJXHWUe o<- gYZ929f3aa40982cbdf52d561293880c1937653591cd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3ae16c42f25525f219fabbb5d5cae55faa53fddd0 # HOL-Nominal