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+<\ ] HOL-Hahn_Banach:threads=2elapsed=4.144cpu=7.936gc=0.216factor=1.917zXZִF! Y]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'Qz]IIP4 ۀiy{5XfV`a"c b]J%UVh7JJg|=lj6cqky"p |$AQ&22@ KsWEq'&>q M;%se;~[q\vlx-&R6 '\:Q%56-!Krx*"%俛(H>kU )^J(ʱgYZ7zXZִF! &?]ŗXi%;G;UwUKXxkƘ23KXAjł.f ]?fӰBK,[:u)nco_?"/{$haX/u!NT[TT-=^bob{kppOڃk "Wn0}㒒V`\j &VD/casB`LNTe{n.Fѧw~3dudrq&VIAҚ>!u 2gcȿ/zVY?`x\y0pjnK'G`3VrdØ@ژKU$Uz1 a aӭ# 2k7׻HA$wJ萍/WRX<~N@5y -nc@w; <*>{v O:*w 0`-8dkQ_gb@-z璇1nʀ$ߝLTf*\늱ʮ/mn|2QC8yՋRp{2ج IH*7N$H6mg|7n˼;)uG-ɶS/pv*#CZj0Vl؍?v8~ (;h ekw 0J6TߧBahā=3BC`N wM4M < n$5s8L gYZ43037472957780014fdca2c78c18f29295154a32071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff29 c35acbb55dd039304cae5b17ca0bc1e5088063f0 + HOL-Hahn_Banach