SQLite format 3@ . BBh77otableisabelle_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 D L ] HOL-Imperative_HOL:threads=6elapsed=41.894cpu=61.900gc=1.680factor=1.487zXZִF! .]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l44\5j\N d :N}O~Ν/gd'z\IIՙfۈݕ?4وOn؈`@;;I@Et lآe=WvC K'^r-5OGzl3Pk2[^xuP 0{msКXB.; |IDIƅN.Z]cU?-xg_>qٲVLsP"o Nc.a-^P_3%No塉y0ZG? 1 HOL-Imperative_HOLu7vJS=闻}xIlnݍF!#H Cy{h,g.K/lFi,Ԅj@z߲Cd*Y!."-si#2v['hhgͨ6*y~ p?GzF &]я  HrRuݲ-}sTYy15%]cf6s&͖GPv'0i`mm<|<,ۘt<)tx")MVO} tVG@yUdib" jWQE|.#8ג1rE¤tzێ)ڤG23$Q Yw. B_p 4y, Ԣ!UFO5_yfv4M'n,[؞i8mM_ddU o?ʔJe#Eaݲ:LQRh5GU!/.a f=eH@PPzy^`@V[DBỲ/=>]X/WFSq0Etf7Wagc0}S^$"C@mlJ/7t݈K^P4@y*k+S֙~Be.*[“ߨt~ײemEQiamܻ^ t1dwKx;IB FQ'=*IT 呒\r<>\@v9KHڬo + E 4 4?5S:Iyɐ@:Ƽ ]PgYZ7zXZִF! ?]ŗXiɟ1nhЦx"n_8N]( eOtd;BGrpWtzq0l:蚪D7 ǘ2vk»,Kdʥ|UV!*KvV3(7p9r\/''n/^[z]0 ۀ܂qZv|,)F1t)*aJ EC^ S:`D6*ˉ.(Skku\8L`73to;OW3k5/Rg Xf(guˈx_-;r 6}:$ A˱gYZ7zXZִF! ǀ]ŗXi%9##uRf.@P,-}TNfw~񮚠D(xv~tV.713-hmyi>Ohq(یxR-dWBUG|41,\|^?  JA掉pJ , ~&L6LT:ywT!eb`t:/-b45'6+pTLV{ы709=` T_\>3ɧ~}<7`Ia)o Ɂ’t/ʟhI$FQz`VycoVB_`F^%kN.1L[DT!IQ2zD4񃖄EZc' #@m3U5eR9c/7(=d8 P`sN|"6ۅ`rM1ΨˤkR F@3=n9;0ir!ZRPkj_`.3u9=*Z|ԭ l]Lಅ8=;05یO;G!\ h,*MfjD c꧄8l~ҎKrB*[ _ɭs{\}W U8`cY^(F] L(v$ڶ\jv"\Eį\.a҇X(.ݩ30 "=ˊ2$YXr=ϼlxC"r+Y Mx f F*sPd3o46 P,i,S1|Qykr0WCtb"ܛt&YMv̰FϮ?_)N0J* *ԙrNУ<8_ϕ[>i+Z ׿`]y7ko c)eV(0YsgqziwUDlb@'{$ ;G)Y`JdWHiE ] aXx&<`7p G~RCw(]|m$&Qy[#&zu9[(VfL(\<]F nQ;)WRÍy?/r@H׿294j^LdΧx ib]}ߦ 3KʪTȠL|;3/:ΰ @])jSG0̄2|R8S!}#z=(Ft.p0 /q ⛼2pe&ɻ% OB2Nc=WZĜ2e9[hحk ĥV3KV6]L7XӇik7y,s#)¶pPޱAԡ^ND ߫PST!P! |Btq1 K4-ct0&!&Tgd][?φhY8+'6L̟!⃑!8pәb>vϛӶY_q$H!6ky 7\SG'7Y3b̖C(dL7NP^X`GAYO![|+ʖU{xIɸbXm&ozfJM/h#L'hlz18 Қu_V⯫o.xJ*=rtCaSݑ2愌#{Rw -$A\8)? @]%9}r*!n>+N$VߛFֽ֯ 4-HU,1BcDUz="ՌB^ m|lwsu .Gp„^!.bD'QZyui긵:LaJ&k2(9~stDOm;d;+fx)JT jcY5NHQΨ'zXhB (<ַApLwj\m|yn_k.oNǟh /ᐼR/HT(y.n)G/Ju1 ,‹L<2i\kC}gYZd27d405547e8ba2102781e62ac2541122063f28bc2d0fb3b47e8eb977e037c394badcf36d1d2c5a6 b2b478c28d6b0e47d8a42d61ccf723d668135bd8 ca30cf122c68fcafed499ac473b9fe2b3ca2d2c9