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 C)lT ]S Ergodic_Theory:threads=2elapsed=84.798cpu=153.196gc=4.032factor=1.817zXZִF! ^]ŗXf1-/6vRZektZZ/B@D6.IӤ嫕x;4c19itD[gx,“>XQAP* q bCjpf!lz$MBc 1 d ^ }pţ0Sc7j'|6pnPD{gĝ, 9@%4XT,K{y['v_vvDCuⷘD>;}iԙo Y]rm^H\KO$hz YT$RzgЋ |Y;:]Ν[S)S וP%V9.Z˿1tH'{ +ːvcוcBiߒa,!;4N8(W|иEt l+WF7x7O 0wg nH0<.+)|i~$ĥBÇ*1a Q ib)~[A2p\u s)ܢh+yqI+D7[;I/K5y7t/kIgRy ͡f~'.aЖӚnRШ@|w,oۄrӻ/J7}T0Ŭ!n++4{pYȍ ̤?HRzԿʑ YaouufԷU)~ _IH}_)kliO8" ! t[1KݛZ.0^o$.r6D*-1+oURҁ+nݰ{3 l\zK!7.&b:z :vE8 \nC%,l a`ny% ` Oe2Iդ:{a)Tx>}lhE; >5DcbIBAx _]@χ_l5hn^ v\O2N }Ykn,n7T*1+VRt[;]kq Ҹ*ղ*T0Eymsԃ+,uq#O@cŽD3\[h<3ɨ]PQ c)ndѻ.|%*Bx]8|(l`hܟKh>*0Q-W JN6m;A9t E19aw<%&n~m=/]cARb^KWl]+)_hBrUtI7y:$}o֬Nw^ À*:eƙRg֐7o+HW^GV 2`VW~?W^QUA[{ ]Z%z=s/*r ߼'qī̏2:J_>oL,^X8`=luL;sdH)9"tEz*S5]s^ml 9o'~t1ٝP,:V]0Sqb>@\k0X?0cE?no54NE *W4CC.LI?7ӥ! eV9ڋ4ۖ;܃7wB')c u "@yrs E)[G3:&/{S%)J y(9Cdɺ}X[mAmJ/!=mP8/0ٓ Xx0!r-0P\vAQll.Tz/zhg?Q*/G-KE'`|F'1ʗ><\dfDcW, >"@W3gYZ7zXZִF! C0]ŗXiɟ7 +W*2TG=o.:NTϾ: Tf'^@kZقӻ8;I+_fac$C(itS[ l= g0tEL0b gRw/Lt~>ġ 5lhej)K6gGjHs0xVCٓbD߈鑉.~N*̳fR lKݬ.7Ëő-?y9o脔wČSqdVa)jiNM!Z=L\"gYZ7zXZִF! Ob]ŗXi%92K)>\|ľ-?'A|yBJJ *! 6/Ig2o)Uo1{/%t+ֿULz"}Y_f}E[nc`e~/6ISIBL򳼛z0 Jczmd_ 2 xB;Z SQ9 dUHTJ4TV9Rj{n֡[./y`u^`«C uzG G-=mAPOŸf=TEf`L]#ԕtP7D vu!2>RzPv2Mm` Smeh(vKĀ-\|c[K$5k_g2>/tALXϙW6*cX(@:Z; U8™ \Zʶ"5F NiXymrgVx,S9 +]hA~Ӵ-0CPW~9g3*y6bAb.nsI^Zmp>ތ/VE&FYUTCN=+BT?0]@=ch7`j7/F:j.U8 rwscC8o2=+yK#f` ->*kU3zR͐N|%)i{=l#h8fS oKZ& i}n%SőBg3M%[/I,g5'w\ qIɶ=f7]6EN$>"Z] =S}ݸ[vN)6sKdlllQ'?^{iV,}djn(^oG #`y.Bb K]&k܃ D,Ï'ho zl5lh*p/S`/#I_fC[a`49~ӖΠPRTYuϼ:tţ!^L&z88DEU箞>%=)>ףN+ e#gGqwV -ڟp 4)ҪC$'{VפUj`ucʤWIx|9ȹ"_}醽s%a]+ R7WF'"0 GPcՊBdQ$ J] @ѩޕ)K_L;|Y LyCҩ?4j}}DL&0 JeA5o\S쏼Yi-9Gg˄.?V 0[qCuW2]'/ #*]c,NFsin;s&GJcetRL悆ޥs|ʼnpE<wJ7ɦZ]OW^"\8It #w9XHtw2vaM?lhk0v;'X Lw+m8ߦ*9 nPkΩ '$ٹ옛ǯ*xl#pJ!3 \]gMgQ!]d$ Ř cKMۂ`[plV;$h`[E9%"R3sӾIPEst̉F xݗ%RNѦ XjOuQ?VxY_Q3_!6VH#̻g<.)U's1Tr +eUUҟ'c+ Z1vF}D=g{S3niKސ bf!aI+L $[]sLq*(*/NgfǤ_P #CtZzqT/1Bu0Ѵew2vkE^]6PÖj+?(f2 ~BTh2E i=؀ C<R̐Kb̲6|| KB֊yޕc mkE81A7"e8luޯjSMpQlӽǚon} BhpL Ba*/@\5CCqBIq?+j@$nc>u0f50a"(lja/=I" 5JgI Akog5D]&dNa}k P$ć<]ilY E*Ͻm@8ICo*EqHu 3-/FUTxBٌDDY[ZXFջbĜAl}o٫Φf[nzȿ1PozFwW-{x%2>.$,B $S#XľتE1T;k{r(-pOo͹iOP$+]yj|0-jŚ(]^™RSTמ(လkZ 1-99XK{_BMk}+HFKi4) گ)4KlW" %$]%܏2|mo*w? =F J|ɕ9R8u{Eo BVIRMfD`&{gYZ058f5d9e44124fb3b107c2ad6ba47432550bf2ac02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887 08e409d96f50edbf320c0d71d4e959d75bc61bf2