SQLite format 3@ .  YYQ77Atableisabelle_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, "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  x)l cw Ergodic_Theory:threads=2elapsed=106.051cpu=184.388gc=4.356factor=1.747zXZִF! uM G]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gLGm|dym]w%5>T'QP*̞>@gi}[+illms/Oun=Y̕PUʗ>e7 ] .넽&uji92#żP \9$cYqCLD t[`ᤁ/PiV`fq4 A]Xv x^Psb&< vuBu64"ޣ{"\V[uݔ"|(6a: 2)%(xڐX-i)5}j^UXlW ;qKO9=?]'b%N*߆ aߋ*AЊRD-GagB%0 O}y预E}mth3v&r^J15BM/#RڹdDttorggL4?W# A7wN'Ru??p wL dRɴjKv6<:r9.%63POv4ނԻFʷ֖Bd1JD) cI(d IXߡHO;8l1G5R4+%uEO_l9"C4pVxD ) Ergodic_Theoryiq\vAvǗw4MlJo!!̗epx OsM\\][ 2Ot!I' U\eY(px1mR ɛpS?;.͉V@!ID`83n1L{+& 4<7sT!ӈ%8AyՌj#"Ţ 垊VJ$9n r갘v1!S_<m8 dSk-]d.t~(V6@] ip/=̔(jg:7 !r<1DH^8pSPl;tR**TP\}t0_U&tB1_Do[{XWV\qhgfv]ڦG kc+M^mrŎ]GSϪ^ m?B%7WQF$I:~o4!$tUE+ w;Uf`홣P$V2 V|WǷv-@.;`0PCɭm8~1 :M 0AD[m<5SªeFL~{YN:OV!c+2/ If؞ &~]6 mu6[V(DF׽{gw]ܓm#5eHvWul]]r'GLk]F>ߕ@E6]ky {4D&%+/N p?p) d.PDY*4x*3џcTR0pM'e `(/^w-4ƒ~7ؿz}?]SˋP!R45 ‘dBRzls Jm,n,ϩ*8dv0|IYbgYZ7zXZִF! ]ŗXi%6zHкqrԁq},7J?8 ]m ~u#^Dٺ\e觤/4,67 Xy͢h^ oTZP ӑ3aG|jA>ǘvAy>-;8A GܔwG]j;VOujܤxܪd&{d/,ȋChk)+R" pw'O5 s8'8OF΃ L'Rv[uBS!dj&Ҏ,HNePިPMoດWj:M=mDT*5hqG $3"2|8&lqu"k=`|3iCOծXklYx"XM7HfV{s[s۫?5Y_t 1 xabFpIb^#o- Wb5~"b]Vc?H 9bœ؝bQzl@< ?X=p|$iK?x cFѯ.`na\EPBic*9"}1G)jtn`UM= )ܴ Xwu i#~OJ@Zv8V~ƈ#T+/oόrmG8a(`Y/T]M .a1i$(J Ct]05>3Wxr~1P5ߖAW)OFc29;Lţr3MvOӧ0$$s98++UFށco!%F7*QJ|wQ*8+ L#N} ߺ:L,s[Rd~+=WCFThS&5@.92 "N_3,D۲k"_ GoS+%ib/o.H;'xb\2%nvMCd,QDA;jL=8Qށ8cS3v~%vb$mŋqr>0h.45&OQح?MӊPe3p :~0\'hB${7|y袆F[iς,1T~锃Kshpr}h݃PadfO"=ܣ/r{Cޗ1~&0#\N<ii tq^ҡO='o+ \>;1n= ;E_z|$k{;EpWOa4Yx:6?^B))l#} tRGcM+^fơW 7J\mt+'ĜxT'`Iŗ ?XN+Pt)j@UA։"'74=B>< }S ys/rEh׌s[ ثg,Pz'4q[F='[EN5df.mw | z.nYEA}wkJk]oVjz]V8r!ţqE; : u,>Gb?(8[(6؛NoD7|]YC(Lk3 k"xMdz)evIolk}T)g,UJzRFFn, @ v{q; o9^b=);Hkjt\Ʊy/zѴ^!!ZCa9kݏA.8*鎸$0't3s1D㳸PG9-a}: J?EcʢPMP- O{VAbuZH-ܝ6+|: U zFg n`49JzCn \B9ֻ&Q2EhObX:n:-+B~;_1tmgM66$_NI uA lDԒo.9NnٯXog*;0 8>*j5;.xgCDhWƴU~u&,e_إn$Rm_} ػIF cPjا9fHbB,KţPgKfI @*d<^*~+c0ѧg eMOt <`m^XY\Zi|I۰M kt^ėպĶt=&GX--hY#(``x~B#oq3Ag3CT/3u/Y Qy":$ }9oRX@OՑǫ*,D1`{o\^]::99 EZ "?M 4>c[*?[8+4.7dPpuqmLd)=w9"z[rc!>+4|Û ҹQD3זG#cTGDjq$iB4ya ^p=?tϧ4}X]cU?6Ơ"b+v^==h拱BY ?M>iU~) 6 *ʯTX NcZ+:u3<3ouTfc_XEJ΃pqWF{\ =Hbp$ ZkLմ5el#\5hcA [Pҗ/O93JψroH% ϖ/{uITnd4'JZ(ruhʜEb=)AV4Uf g"iJ}`:q躜-tŷ*//M]Һ