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 E D,L ]/]HOL-Word:threads=6elapsed=9.927cpu=48.092gc=2.048factor=4.847zXZִF! ,]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y'E;l! {lHk1opo*νKB\ptYW jEoYP,ӷP-IȚ+6&\WҔ lEʚϲh JtK%8|V*Z*?!+9uy7eX71g%!TBХ\&1/M7t8!sꪍ I_e=d,@{Y١D+}/]j'ilG<%SRl1 lHfx/alLXsϕ[TiJYIP=NM|}&^ hUg;{_]3pFBFJ4Q/F`h;کȐ} ^f-otȟzF#6Rq/9^IFh#kO\H:G*I܂;(o%/۲9` O&OPDgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A,?p#]D\C á-P:KPblG.Mb5VWP@P 6,Sm\,d{U2F5"} Lh9%Fӎ 'Usih2͘ew"7yS8K *%f]!w,§s:$1SuwBqZ3{HڰcjiTf~Q&&l2]h`a@nYrмGߏ6#J"8h'27MfOji=m^adVY\A3 B䔣Ik=a# rpqP'ؑc-XB_'%nc[HBag1 p'n  P?}oS[ұ/lu3XI ޶{ɂ;vm_m 3x nd?d_͓Ppq^ZXvF;YX&Kv^է%HV'JG9,E؛~D뤴|5ߡ}N)Dó*hE=<:bsx.Ȍ9a =h(~)Nlly߳ZNȋ&ŮKB~_*` b">ܥsmp ߴi7P u'Yq%QLN* ..@\RygPa]!>ô;1J# thCx%CU5HmxQa :iPKp8AS-B[t,ȇU&$"љ:#gwZA_W FCߋI $H~=qzqr0j4x7Jy|IjZùxME٢q=un9l[*uKYNmHNG&2+`ۉld(GrPT; hY4}SclŠo䰹uLNOq52݂|F]FSpzɺ掂negYZ8bb41443ec8596bad10a94746e286e70a6ebd50962dd5ef845605834f99fd219c6113e6e5d2ead3b e158806d250ceec2e5c99ef815333151f28fb293801e6457620743c0f27d24dfe59d7b40e8f6d24b   HOL-Word