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 !1 4 ] HOL-Imperative_HOL:threads=6elapsed=36.703cpu=68.712gc=1.916factor=1.877zXZִF! -]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}%]b'3Ƽ OEҘ%AA|8ע-DZX yGo[UF珞&5RI95Q>T)NKET \5/N.lTW碰k~u=jVc(KqڙɒJLc6Hڠ%::8ϴ]Ca9 z+n5W_[聚dĚ@_ҁ؁f*L֎ijCK OrJ<}*L)/WE 1 HOL-Imperative_HOL  ,Ƭ%j T5uij5M~s˂PLoC 䕑2jXOA33=7RtߖУgsb_CcWp&[غ?. k kO4)j]xyK <`hGG;SAV 0c)8/2LO8:Bɶ8Iɜ#'^IS JGX;;ЧlqPb#@9aY˿cҚ#ьPe蔳_Pэ0@ ed6m#yoUBV,yl"\8Qy-2P(PU%jXldu:j11ʨXGn;06a PBX-ecΧ9w^v u{oT$ثOu{R7ߑb_⬁\r++("gtDUN1 ~A/rt&1D'|ZU's3npZ֬4Ua=ɮdE=9`nb/1k/mhHN7NYeAu[ܷOьd5EoB?K)M]M0gʌO{ve7\,{-uB5]{j"⢪ɑIpuheiO< t}9Mej]eyj*G(a5] [:gYZ7zXZִF! E]ŗXiɟ1nhЦx"n_8N]( eOtd=1YV+Ό]e0aJx[*`L6 :ȝ m*1 ݩHKhKyp+p{s"38f.Yȟ-(Ff#<4 3Xk%S՜W=[$Th@̮ͦ^clUzUyaJgR༼ʁ(s`{{ΠxjN ܟ:<|}l\>Nō k,F*~,dEi>Z1if ֱgYZ7zXZִF! ೤~]ŗXi%@_η0΂*X}/w~̓h%&;mΡX(Ɔ|3%o8H{ƌ-Wy]}QϳJmok.n0IjFv({U!:N0VC[y 6"KY %w(g\(o.ob7r{?9l>s>Qй/CK4#mW`]}/Dͳ#RϨ&=|x"ibPm#[_^ʍ̾ul MIa֠egO%ydJR5.?ú, h{S/ҸkR,Y>^G$anW~^٪^߅ m /&㩧Tu is"JoV,'7+UQ=.M4a{_J$!VԓKull>] h:NwN-'6n9K19kh^+1I(JT6,P⬄$ C6g;a(!jVjȸ?c9,~CI 2Z w8@O]R3c'[7B`mP&g;Iês}kJJ꟒3(_];b"r6"'ϕƛfw">d0$)>l{6+6Œ rSM.HHSR^(zO: GSgΰNz N_i7WH{VQ΅}?,.A*z#|>﷈SMQ"%XD=\ ^wX&kg(XJmBla| ve9/NqJıhQOvEs)ZJR  ?Ytq&ժmgDi1XQd֤DyKAa柳龓`w3?c]fv[Vu`U3ᤗnȶ+`xEu.WaK&n"6k_~ g)*N|E`[:`t.юKzG8i] 2wD&}^9mAyN^%k }@4$ϰA^kV@+HdJSN2]M/NumV_GƃiEpڒKKsjrQi Ky?ף]Hnp+_wְHT`nkPy!1 <,T9&݅>`1R ʹHë\u7jU\wgF(Ȕ 6"lkFn`q@rrh eލW4O?W?vג47]fPZƱgYZ15934ef0682ca869d55e6ada17a2ca28b1e63765bcb48639fbb7341b689b138997e7d93ac6626bd1 0f09632813e6e876e68176357986a5c1231588cd 0c96f85d64d6fb4c59da90a85084a3750b72d836