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   e#T|T ]S IOA-Storage:threads=4elapsed=1.460cpu=2.080gc=0.000factor=1.427zXZִF! ]ŗXf1-qN50^\z(Q^ bA]#H ȓbW8{#im~u0f.[")~"ae(u)֋s#`$pwFZ254jol7zؘ7ct/l5r0DnXxϱgYZ7zXZִF! u]ŗXiɟdNA\1J;?}W W$W$FK AVMM2=13H~޲Ļ cނѬb򢨱WΔ#\"աdgYZ7zXZִF! ]ŗXi%B:pn&Ҽ &`ғOT >kVN6(2 $Nô4\xӲ:t]r,i3yF(J: Iߵ'^QgJՅe Hf*ǷxXRu~ߔB L{'&z9ݾḇ'Kh&{ȚJRKx$(d񥬼8IR>1C+AX(*嘸i^26Kjd :'+&0Tj5,FƐaOxK7xUK*kt v[9`f.l |(N [a ƕt4όU*"CJLD 4'Ȳxs7vVN`״#N|NAd^0im>`S>zx7m#8C(`=uZ傠U5SD;;<ӣ:{Up ORKw@aZgYZbee109b79999f143a5eaff7470fd54ab4d46651b13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 de3076ed55ada3288214c584c94129a09f32b869 62d986bd2b37586b6aae945ba0aef5bbcdc96ee8 # IOA-Storage