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 ! lt ] IOA:threads=6elapsed=6.998cpu=30.680gc=1.112factor=4.387zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K9]; ʭߍLh3/1Wa$c!΂~֧>o T|7?^;GCBCALqd4!<_Ώ?bs] d%0 t0c7S,%ˮmp\cepX Ήg6_0+ !< DkӘ]?O[B4Z9v@(~czJ7p}#N(#*H'{gYZ7zXZִF! `q]ŗXiɟdN'LvH۹)s}%Me&Z!Amh (ט1KWoiä,l|78B;ήiZ$܄׭+- %H+61[Oǖ:(RiA1Y[QE\1RE*Lx&͙0MfHOe/+K`7C r nnp w7J,A钴7heVaл_Yy[ٸINTE31GuO?]ֽ2`/ۼx1G93fWq2bDxVMlTb3d"?VF EgYZ7zXZִF! ']ŗXi%EX$,=:Caν-z@ cE= &#Bg)ackkd΁1$ &inRd>o!Y7ό yx+!|8m1,+Jpe= x!?0>ϭ*شʣ6G5se<Օo_Njw@c`x*o^KE26{\1Rfӄ3,kP`I"|n`x?4m)j)$Q~`w{Zd?cGZ4N\{^gYZ2bf0b47a02e9067305be4cb4721e5b3a86d1abc0e732dd65e5ab0cbf3bf6f7494d4fbe0f1d593e8b 395c83d74852f525c9e02bd59cb442d01191d328 8a501b093bbada95e6702efe82f1e075e2cc7b3b  IOA