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 **K)dl ]S Ergodic_Theory:threads=2elapsed=85.176cpu=155.808gc=4.244factor=1.837zXZִF! a]ŗXf1-/6vRZektZZ/B9jnt'$m㝄.si֚(O?ᨿT a{5j[o_>phVۉL J'f Jl j rrh#kc #&RŎn 6";ZnaNdڟH a@)nyªe0סPdYXeLP2љ_7`{rq@neV`.2W:HVK'r2L>N3LF!ߤd$ɩfC60 Ri :T=Bh~Ђ]]UquR*]6RMRm,̗iK 8Gz sX9Ns.ӟHB)ʾZSFU5X>|(T~[Atg􏮙֍ L"@pܡ`?_)9vLIլ42`aj!\#p :Cgy7n=ϹyRng!׽@%j}Q& r^w[&~MG*ek{vHo`I 0ҕR[0 ugGL%GLК[{$D j %w1Yd7w9Oys2)pᚑ&[ Cx r*KM™6%IY;T&jE`Y`z %}ѣs'QLEօ^eGjxʕGf} g:UZF+8;G#x%U1WmW5 LqՔvZ*bB;V0(i b'ۘ:t^RXz5 L=\¶7pRG#d x8&XWT{bxuV,ld 5{)] NÍ!IG *+H5{c Au1&՚9?}G~Y=p^5C ۰AKaaHm?}B_ ,=g`)Q6KȈviӤr1J>9-B-;H>AE{es^hzNgYZ7zXZִF! ]ŗXi%93xC"05+@d`̵'qçZxMROjmڢ$ıhD-utOHyK&{1JC )RCpܼ y(j 2b=o ̥=1-g{i1RH1kʼnRJ*~!N7"d/BD6Oږ&uf+6pٓLEj>9 }7PZgs=/vx[H?%qS?.p;eЛk, Rcx"GF)GP vhAnXOMBgXmt B,hd/ tq[{TV%I1YS-)f; |<~WfoWTG/E8{9܉J3ǰD[uɏ )7 51g3Z\G|_|#09񖍂[x %K&`վe4&AH[?guf">o Vn ߲DO.E 梍2&O4h:2XrPqa<~ 4g&j~i'Y@^ߵyO^%;]h:u68b=c^^Ѻmن/5_J tOQܾH33ׁ,+@[aq_Sa)3,hOu^2Vr=⌏I4]dxٹ]z޺uR!06gsdZe?hMf˱wy{~]A&.EP)c2y+Cs;ޭS34+~~OY^M=#5Urf3;w` a>W,}@мS_ wQ2v>B(R.ISz T_3@}=d (3@b 4(@Pp h_imFبiT䯨-Ap*QJh_`V,´1̈R aQ!yCũbI@Viڀ{sX*E: pNLm1? P'/GÅMD"o (- X%&SO|]HZpIK*q0hӡ+!טaϳ6E.p>~hZ IWU5g\čfRŧ~C)&#O౩ޥ/5XrmRh sjyo6.Ɏ4*KnќӟاK ׯ9/1don~QnD`$ _ankO 6-{-AI 0`>M{ U'r toد Lퟳeil}.r)xSε77wOlCSDǁF<1NmSt\Zۉ1V;mʁUccJ(=YR|M"$#i_^ eϞ1/ B'ɶ$@_s{PuM ֧8.OomڑHN+;p'7؅jL.}UGu\g70l)i9>\='*)'ߵ۠S&Aqn-Y#5s~KdaEc,…*vOH<AN{ w0&"I#W_̣+;*c+oTMqo+𔛈N>vהGe )dr⨏g"곲AAB抝h.uIH6[Ÿd ֪y۽1t۴>hs(dć$UN~r 'h̋Pa, Ö:qjXsgv_'jFx<,G<5ka˵ cW2J4>}M?I1) 88]!Jf")5Ƅ3B^0]4Z1E"AyGuhFi!^IaBefzHvܧv#!:j]ҍmo[8R>nA=i#S:%Jjo[j=gA QRg^ƥnx;ۈ_#7IdYټlužA:՛s0!9E d` &\~pyJ'˕fCq[}ob:TalSFxi@n| !_V^ט dD΅:F2`?:z0f'T|> L6@`Eaų[#Q09rΝ)6&HrWSI̥6Wܩ*iYp'HGCK(7-W.m¬ Yz6(+^7} W`XuzM+.Q25~k',}G2.2,]zV# ꐠҤ'B882lH>~rw-MJ]£]L M^\Ъ7ʯrWk[AJ[Or^П{9* e8bM6Xi.(O -.֗`g/jH}&)ka X+Sɱt?梮j/?EL7C}΍.#[6:eSw}[&F8V͑n6QX!U\efƹAtnlT8T Eќ7+CW$*d~\%:iD7UNNiX.*r c 抪1O]{ !}WjI۹_h8?>"<'3>اqi~= T$H&\m&LXTVTދ2ptTnzۼrL6 Vٻ~s vMP;pE}bu_TS+} >SDhpV1VBw- }MQG`]o&Enx||+[-6:.%lpR_9&ix~Jc\~ l[ X7u̴" V_ zO]v) 6v%8v!^FHJQ}Fsak Ҙ@s%@ I_S5Έv]/wh%Vf"Yy9Dc_j㐣΢u"U%bFU.3P|4P#: bٶe`Xgx;[E+Bfo8v03>,mA r&Rt-;_s W WfR6X;$;1 ]z{as87f|<x1^@)iz fs'CoNm]=FTjAЁVMCOҙf=-Ś \C3V0fq|m&Q~fEU_Gi=r8efol