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  y yx)l< ]S Ergodic_Theory:threads=2elapsed=109.076cpu=189.092gc=5.412factor=1.737zXZִF!  .]ŗXf1-/6vRZektZZ/B9jnt'$Ei" ^T:6_S\<1xLxWV\\{Yt[Xs_ yE=)Sȑ˓IYQ8X #d3mOZ0m䊺=SPc>إ?l=74û˞{G_P's 7n𭹻&#g(EB5d- eJ+;$Hk.晴:fןU RaPXځseDX.1I{Kr>GaBcUN ւ8ӱȤ)hb.#b+mmeKq$CdC&#x#tx ?"<<`UھE`Lʿ ܵPJ5SAL92 hI*V+UyLI G!vǷ߀z=7Jmb?ˬu9S,{3N'uJ0u> dFrbJQ!eqG؀v6BQ5 9k謮Gmo'w~f,BC+E]VX= eQD؄Q`Br=[3C(;ؠ>cLq=b z9B 0wgtUon"Bu+@  Z8@RRnǁ52v~H@>hc^]S4js⛓?.aa(jhe(@ ad9v'[x5&xCRh&u 6^zDeI +@v=oc)p&j+hv_s&6VVAj5E)s1%>-C7 96m |pj e{pmit.bT<[a8J)GW(r~=I&EqYA ΣvJ+_ <%^bhu@l?#jpMcJt^Ll[ģ~g7~S8C-FT֤Q%,_0oD,xI3[M ֟K? SQ=~O7Gd7ۻ@O ) Ergodic_TheoryK3+/P`7,#+>0)6alD{Do8OQɰ@N(d+42@VB ڧHEw WnZ_sxOm׃wp0^xE<GgYZ7zXZִF! 0u]ŗXi%;6)-UJ x)JńlcT3GqRԖ0/Ѻ|6 ^""&ȸ^8DW]Jg-l7 aT¡U8K}꩝o-En{ݸ$:?_ejYZB s#7<5A+3~ǨNHW@]xb~K{cV˙(= HdpLYGVdε 22 'J*[")I;^ 5X1+c`.Wxzui溷˶RDo.[gC_e Dg9CMY Dnj2`UV$gekZ0Es 2AG O r=7|둻!,?'Ouo`M2l"ׯ O]]>ڛkR}qH}jn jݙ$1oD$Bu av@ڲ/ ^V$4oG? nW.TvEnK9m~H &saٟt3l+ۄ7m$tb9MsU52bV^$=7GYfzs$))wU(~ڗmhF1 ҙک(teWB9'J ^Gh]By2/ WtkWREWw3%IzbVA?xM8g^lO_$k՛;!DBMzc:e qi JP|igaW4h⬑MJiw|tksc?C'3LQB0XJA4;ZH~DU /뤴 겞"vaْ/j\'0$zvig`_taywL?SR~CzݲmEebʁB3۟ŝ݌¸=yн.XڠC_'ж!1NjNfb-RG*ui)qV6I tuN:HN"X;gxpX^~RCMj:M<܋c z0511^؛5UZ S8(ۤ(ګ⁀1LޑLH?PNHzî ˃29߳DZ6Ei[D'jlMINBtQMaJ7F썟⤗*1bi*F4^P p[m,ڴf,r$Hx""Vȳ%FXal3fW^d:0T_jCm}0sI;T~ zȐAcrDBHQ;6&&|5Â=?Vd̀G+4FmM &kdJ5=2J^0KB,NVDspv2f&ڈ,qA t"0IwJ_ bO|a%O. |C=Дޠ@a9,Qu1..%lZ^+UCnh?k7O]*MSbȊeX/{j8P豎ȅEH}"ʙ=Iޑ:IP:c頁]ojŐ\^ Nd=^|%<#VÚQ3i@͕AVt,Y $Zu\EpxnQ[lTEɩw M?-@ h+'B`~դY|ݫP&]-,FvLԚuy,2\yז#]:C 7 YmvZ;zF o1b'C/{q˜Ͷc8n&p9zUO/`KµaȄ)F84=Y*$@H98rغHVZ&Ľ{e^0C{Ã0hK3e B4K4j /ix* kFl}/"c+K}C!(U7"(A?F]ǟ?W~ɆvaQ ޽-E4Խ~h3:?7V >,#Wt7 W]TVgsk#\Ș|Tv,;;[Tw' x^o y S潢K!L<6X{no,v^!WnBfJA'z(rBߕ {pu󯨈z^}!¾o([h{#;ʵp5p$Þ$u>sZ:Q%xe3G=1#BF.֠ѯ6{ʞbqJ:/b~(sXrзVx-xR=/نqtk;@x)ѷoûFrXa Y B30{:Bg}ֲát\D'aUli/8nu(v/Od0yr9$1?_܆۟=/1!N0Nis6@^&eF %M/i(lϡ qŐ9/XKt{OGv~[>=Pl '(1Ȁ̤#"9,Y 52AbB xi^P<1F*DnEt9d}D@r 6lZESljcezo0*}/jﭲ~tP󹠑%w=y=dVc_xh"7$$|(n-\#w9d[>'KML/%4QR0,'j- ʮD]y4}=\_v(Hb$xoXЊQA𝰪v "T& R6r/2 ,MEֹg i+Jp?gc̭LRāF`2.]m >h]jΫۖ܏Nss`͛ +֮+ytuEr==$U\;׷mp\KbO ڛTZsb՜btNo9 WУES6QdU[8U=z ].|yۓ0̺c8βI%!*92飼@x =9T]"ĮN'Ilž]O E3'2[gYZ63c418a43ade40a47625cbca68225ccadc590f1a79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 ac948ec914afd4b63e6792a895edef77d004e06b