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  # 4 , ]]HOL-Nominal:threads=6elapsed=6.340cpu=14.780gc=0.948factor=2.337zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ2P lj'uN=fJ31-`k귤mhl?>V*%T7!U +չ昀ҧ.3r 'ʈŗ3@HsQm2uBeb>7j/\l՞.;0;s(tdⰷސD>W}E bjAEb{It 2^5gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ̋iME=4#.ӂhXFf`F ᄑ>"(`I'{J}YZ7zXZִF! $ ]ŗXi%G!`Ww)ux;¿/TL4 `zҌĨDr*ԄR=&0H|#6$JĞ~l= r][*AQPp1C(PgK&t;ACNs bW57,5JU *nP.,fK1(@ [_Q;K"6+>%?v 'Q9j"Y-ؚER°3{]K|6n#`Y/; (HkH>2IRCC7j93K>Xc*Ҙ`݈5|^mWN1dd\*P2^>}YZj8.p'~+5VZ7@z!1^!>a]ҁ9=YjK6N2 '@nHs NbT sZ(ev%̀6KBASdfTEKQ?+U.U'|ވ@:rumA59jdPչ |oۀR=guTdpZMs SW?TnP' KNfw