SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 f' ,  Myhill-Nerode:threads=2elapsed=35.287cpu=58.364gc=2.856factor=1.657zXZִ ' Myhill-NerodeF! ఓ ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*Zc6&›ГKF:7/H.hT1뭵'xyyZ7'bH@z!7Hp|6QM'O/ZKD17 h|dٜ֘ǒ^\8|zZ>C7'2"S[z\O]&Kፙhd* @y18 'f˖a<RX/')5:ݢ1 vfuxu1D',FhZ%!q<z~gèƅ+"ʲ?jyET /.Z2WPLk\^A>'uNȟ1+L͚n`$*O,93d[!2spn6EeM!RRȜSd8EX=yS#9cRI{~B pVlyqt*^갫BR`Pn_C`v;&f~zi;ic3F3.F/p'YgQSK[c[ Ǿdtq-.Xw[$mzj5>٘#Uش ]Đ< ˀgIʊBs2bTKkmv&ZJzJB`B^"ˡ肊)@EKe2TI` I^PY\J5C0߄}T|ޙrO)ַe[3I-=~ 2U)w8U)Cq P}2 eUx|>mTјhJB{ƴ/l5ZK6=Dyk3la=!^Ku*MK&G|Í}] a1zz"%,)0W0*N<8 "ˬRiC`ykDyO Z.QsD(=Z3O 7hX &.Դ#iG_ @Z& ქEQDTrzF?R1뾲WЫٽQM 0þV=}E)X >6/b{Dԭ%v-_10U?߲u0U~ +JoXֵ?S( ~q_>(=p~.uEd%mӷ~R)ﲐ?WyViEJ&L#S{7<$$_DֵOz^rހ$Fp'#ڐYs>[>V޾{6Vrf/(хDEfФSU|۴U}b>5m֝O?J#A&ʡ:t3)Jދ4P")[z.CJ^܅1Xק1W{Kxz]W$rwӏ?FBth\GCGD:I0(u/A)U"SSeGytռ|Y0)}UӃp"{_<(BL3}khJ5OW\bxW,Qo{aZW74㎧!61hB}e;`GlID|[J !q ge16-Ý?,<鰴V#- ^`yme 'b[bQzH%f M5N/^u17E 3nF͗q6~۪dܠ(rĭa_{Jt3aH> 3! ia z~ӫө`vɅO4%أw(Qo嬀_ Q_)]Z1& WuQܣ4v\ - xQ%~e8&hRn?YSf=Ln4>S @!0)w ?࿥e홺@'-ވw$DSir>4V:z SzʮEڭFvn5y!Ypl208¼سng"'dLa($d1uXgoCIug;AۋsBf3b\~Snah,K$q)/2?UV%籸ЌɡL9'XL@/-aSd]%l&""<1_0ҟ *M(Z4$׬~# Pʐ-xxyR]pL:C/ ҝ]4Sx$VO [4ȁZ"Lƍ\ȪʏWl@DSϱgYZ7zXZִF! []ŗXi%DQA(2 v>¢.=یSrpyH7r#"'nN Q$#Y2XI$ ]S5j⹊nKXHk%ɀH dg@ni,qXHnoXB 犮:4f4X_1nܟ@fZ:&(xI@931H0 U 1F"sHTʪ] WvfY"X^oSX"r}5XZI12~nXtbI)'Wq%++vkH4;$z=JrA1vԚ:C6knr6}iMz-@-̕4l1'`z(YPK+vJzAba٧=?<]7)92k A1! >#:<ᇿKTH:n9Vƀ MDhV\~1j iSQkĿ sfu 6E݌J;w)18{pq4ϦlfkNE?LX4n9@=JbY;2JҰ&q5*L݇?# l雸mxA¦&ƚ]֯BK 2 HV}$!dA n5' 񵉎T#]PRYj"fCBɃ1h[6 /`w7!;&&JȏA @qhGҁkH8bz fvZ}E8<jML볃iJ5d+NB>l`"tmJXiyE ˑ<y$#PƼi#VmMƋAq<kO%@_FPG< )Of:o`uZ4-UjVb9\fC)G el\_Z0Dr3'$Ȍ͵>@ʠr%y6Q [`7:)O`ew|P:kוncޒe=QsٛwG`95g8{x(2,LEl?O} sEkٍjбbCJ |*ƜPB+W,2:drM V֗Q@\,u'y偬9OR-G~m"r ݓM^ǺH C^4HΧ7LѦbE ̴eH*^"-Єٓmȳ#kæ] + "Cj#]/r闭&ɮi%L UͿL*[1#\̘ڕphHhCcҏw>:T7"h`{:߲i_uU\Wwjep30"Fc , M((p{tBORBøwK~AQElN o?N#Ego1yA@kvG2Xo\iI,PgkL+)iLfm5,OJЙ=)/;d8$^=ӠWԻ.t}Yҝ8)F5aQeE+bm|u(zn͝[d?x㸎SDn0Φ:.Cwçc7 o-8sll:B$.IܐXn<޲eK:tq^釟̍TkE*4hvߔ~6ʛA;]%'mp{)#*(~޽j +M0VSX9P FEQN?"F&(ɚvr7kZBmq<\\wT^6Nr2>i1}^e^ʛ+ {ߨ1Q:v7 !M,H%$/ _EY T%6E~ _u AÔET