SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  5 5H+"Aޙyģ΁K7!@c_u'Qz]IIP4 ۀiy{u΀2C6O/#X4UqUfWX07Q=^Ԯm`DaWWacUSDml!fڞƱ!9E*rиrӹlq%z ̓0dNTDMԠ&%-SDk6q@n9LsgYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļ\B\/\tWawǝzuJQ SG_ ,9f*r{ Ki&?w CvwC{v Aəf۵JƝ"p"tv_/5T? RWÔs U(d,Tqi x۵[8gj{R)db%\]{I׍'`EG |vZB_*4_oz{`& Z}LgYZ7zXZִF! &B]ŗXi%;L`on1ݦq@U{+YqdHlF%`-Ln{(z8?'ZCHOȓJ<|"qw*BaE"X[X>pd9{=MKkb"Ei*79xh=!+Nak^͍' @F֢FP+sy/PYy8\I_UJ>南7D8nT MBn e1R(\d=bмͅaвĦQΧ2q  ҝ6E,G2aG !y39c2U5Ȝ2:>[cCf|tll|`%ې &V]fյ 7 9܀10VdacbtKu,G^8I ҩ_$3g[ 4'96סS: Ǽ>4N0u ?a5O; ()$?ZKY֓T~!QqZ ނįubIh<;9NE gy($)S[2kYJ|4GA!'Ӧ0NYLC/j.3~/*VItL"RTfZ;G.fѰ ٯL<1/Ўaa^Jg f20~6Tߍ=ү m NQHZ]ܳ!LQ0RgYZ43037472957780014fdca2c78c18f29295154a32d2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 915082dd8be765921534a4eb0d5827ba5ef779c7 + HOL-Hahn_Banach