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 S)Ll< ]S Ergodic_Theory:threads=2elapsed=87.081cpu=158.128gc=4.008factor=1.827zXZִF! av]ŗXf1-/6vRZektZZ/B9jnt'$m㝄.si֚(P[6iYJ'CuP!X8°HE4pz*u`bϸ52g-.AHKGZ+nxH n;#gUfE^5NtP 1^z'+ՑLY|-'6ꭰ/7ya4 W{8dPv~1ORQ!*]0} @X. i՜/!@hŴ'_}g9 m|Ю]a^d{&Ʃjǭ e`p;h eFݺ;bbKZ3AAETQ? #RJn݇3̍x ur2hڠibON3P]: rx;T"/X>Y]tbϤwШ,'x;/_;ʤ76xX?n5f> >*zI Zbj[H&]v*цtes7*)"[zR1yAd< 7Fp>'/{H!N6,DQ2{^$]^XQ`U#hv$+N6ϝҠ+|scI֤pΛPS%KO@K&J[l9e0uJpSeP'T")k5?p:ªxlz"] uc4k,!ꓔԃ1-#U<H]'FAJ}Ƽ0QhP0Y`JchzGg:8' XD`.. n=B ;Xy`IRDl!i}raSӜ| C[6B=N5ɓ,ȡ>; e_޳ _b\譄(kP_˰\Fq T 78P;u18K*+Yk7Cd`nMESSVhwZ_Rn۫P]AeAhok[U:8Zqx#ńه/a9je,f&mD NFuo4@s*nu|<Ly"6a0<=eZh~Dix^JQ;U]{k_ -Br<l2#=.egYZ7zXZִF! C.]ŗXiɟ7 +W*2TG=o.:NT6T5e+2 G|1vVPtg7iebEc3Vl6MizzΣEJPDQg1B:!p<{INo3 6A}gN"fPUyc;wp"ye܈SHH.*oBIFqU~h.3k ^W]&6[ c 1)Myo=TLX4|ދj؊8aAT&VPYV~wh{(7N6dT:{wxο˴DgYZ7zXZִF! ]ŗXi%9#n^4װt-pru!券J3SaYVI<LoLtIeiXBul]  Ps#w C U/em2 .w٧4X?9" ȮO25٘6&,8V %!ʓ'EFOؗEw-ÆHfSQHߵ|V"$Y&l'`r/$Jm)NG%35V2[4=>ԋ+trLz}1O¨0g@;9QmzVKYm7*VWTXʏU,ՍI}7, Ii{d2jcTWBuz*i!ńW\Y,С}hs-C9k e|;2Ⱦ\QɔYoDԋ%K[Z s:5|-yY&=p[ G_ilגiCfy;X-HuV 3xH% ) Ergodic_TheorynF QCZ3zqIP Ἐ ^+6Z$級.k7t~u%TNF;c[E(7w1qGAR̻El}]V颍j;vE ~+ oLBP剟sg]4 L+On:BcUV1 :o$OS3$T |qTzf,%-SPky.@G%{F%$óJÏ[y/:Nk$庎oW#˨`D`>S n3kxd] b.Z>@GV: V".(əzǛ ų<.%f^l1`,@ ~mҮL{=z]X!-~41s^=(Yd@O*uMbD(<P\uwVfga{L Yv쟍@>;>zYһD F̝2K,]thms`€ُ2_  x=YלK7 S-;-gzIXPnZ{s͆#-f',>z63B,BHٳb" t," ܹʦES2_7t]}EZaX}X}C9]/;$SLB:K0z2}?0W #6Dbʼc\rd޻sEw(۵] :T"K<܁wO?>]/I"{*Ia-辤T^="\Q ֆfZP[s]FE(NAzZs͑hO.D)i/NN3(#pppyP@UypQ&ls@xݞ<J*^wAd_Og_xO;}͋pG.Z1/MYZ-;R,ݥ. k|:L}%5z$e莫 x?WСc~I>2" Xa C6O`J(8ܵ] F{xvtP78AZ~•te͡&n$tKDR#cx<'$8ޗpFJ+=6I\~ :ˈt],Y[ylON 2n0֠u#,d>s( S5rf0%28i9Ъ n aaD B+l%YOG'(0;esԡ4>$U.+F00~Da~<[%\?وG6W*k;8Q>8:;8a\~q8v.٤t-/0LxlJn[|@ڢqJnpӃ50W0{Lovh Fˡ,u,XG2v2Rɪj@lC+ $\xXXNaCJYw<"'D7r ƃ;m$|0(T2ڱ*B p&aiOsGwsSlߕG|Vo4ДFhsYpvmle~,1797G+G+~{Ou恉Olu@&_>Ar|Te& n~u9 {3mƃe,lNæ-@,ckHN`PmY&(UnT 0?2LVU[ʖh3mh>yAOᓃT;qBx6(լ_,|HnQX^P㲳!v !,> q!'>UђA˼81j>)FHQU~pߪWV/cP$"qAf\V"2 $#v<M-ZF#zI9Taѩr )0xs- &>w͏Z`u$HƘ()/"Rv֗RGe2;%vy}0zbqeEyt:^JE4toH^ӗaZhM RDma|'L?[VHTy3tUZU5 >3i@יH 5ܖ:'#P0''&|JNhPlg[ݮsc(o9"fnlr{\2rwoڂ_4%`,IW'gODyo-+aE\:=ޡ669X .IbC EJJb^.qǏ\w ',vbda+AEWv)wmpň|53jfSӪ^[0">m*6p;i' n-ƱȒřE~@`3h[9.3B J]!qC`m 9e~^,yغ{p}UU[מ(3v.07fH\gJ? JU3nKk83j"s_?Λ-oi-?2Vr h%xN{O|wfjSIfdy^ 8iTŬ*