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 Y ,$ ]/]HOL-Word:threads=6elapsed=9.948cpu=49.440gc=2.160factor=4.977zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y'E;l! {lHkjS:06k mN{WD^$OZjh"ytDvMLd=VQ1u(!\0Iv`9m"o LB0oR8>ж5IC<6"̉+pwS}4 V#oV.uda s Lr{P}f&O:;iB6}-!&Mm%arf?CXiaUCq{@n9V 9qt$ˌǪ Bb=B ON!74H?n$7E,WecVu(]'VDSMr >']1ҲWs㩜+RBmxQv'.! LFYT鼷c)$6yAkիa瘖]j0 N0Mv#JfCM!^MNLerB&QB.MPg٠ wH .7j0gYZ7zXZִF! 2D]ŗXi%@f8Iik&50s27YЉ*^+uJ !Jy j9(Aa~Rz{/U ޱؑ xjS) o{phOl}/ :*Kk~?C.\ʵP*u4(-@$PIb 4Ɔ'LpH!ImuZG0Lh&G!PsO^EyzO6XoR{+ 8295z[Ӆ q|ZDknS KvQVq^. [~/:^KMz๚<5~N/=I? Gѕ;;bY8]dUαH$ ^*4y"yDEBK0c %w!+pFnl9Q\8bTc :dL;KHPt8^wMQm m^ $GP> ;&`7Q[-t[c;As=]>c^-T'9@o;l8<-^.MKHɆdag3 h9X6Z 0#Ե  Lz{e#HgYZa60eb7a2a5e22be087856f09babfaee28e7be6ac72cca0904208fa240fb772d4d14dff23ebcd0242 8f015da9fb20bea689bd130164efacd685956ac0ff28024f3be0652c2b16ca8177683b3b49a1142c   HOL-Word