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 )|T SS Rep_Fin_Groups:threads=2elapsed=97.989cpu=147.192gc=3.744factor=1.507zXZִF! V]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN噛?FiP./~e+I6SJ>7k7T Զ?i}wHH[+& ]pSfh ^\ϏM5k:b)nQx<|VVi7Y}#)S>)E&l7K";W5.':B "PG7d˕osFYٺQyJH10xjC9]0* irvWB6ؘO.av&DZ3dEhXT/ILY/|`.'Qjs8BxCSsj[b@/5>2Ζ)fWuO>jޙ: u4lE"̤aNd[FDqſ >4lGMvR\`'&kmILSE T 2(q#vy>BI? ,˕<D!-:0uIU;JFRۘvc6&9BֹȳQP087j q |+vb_׃绋?P̩s2HgG9iҝWS!< Z%K݇7̎!`2]h8>jínτDUD >ao3|$ZRlDzbIapq`ϟLki }s`<"ٯz [ܾ BR7qF /򫫠Y\`o\ Ij"JMA?z`E \p- n2#X%ɫ&z=9N"nQW";;U~:|FM+MjɃS>|"Ҝ(+=ځ˧ ԭZ*gYZ7zXZִF! .#]ŗXi%qLe#AL'JH4Pd7I`cI]+XjFE[f^6$˂lkn˅$uaN "^01}S37KK_(W&21)A9J" #ԻF d4'pΝE Ά4 GalbY&Gn- l>Z 1AO7Q+%^ݚ؜Vs+R/Q^ 2.VEoRL׫FJto#t̫zrsɷQ& SJ׌Q_TʾV̸3 T$(Z02k],MoՐsK)p3c1.cX(%nZPȁN,Y.fXsh|F%bCv|M_0XvR2 ؙ.9絤2Q1<{ y"x#DQ. XSN.~yJm*W{[ӭ/K65nȥ g}Win4ź!j˿T&*Wǀ=ڃF-dؗlVx9yNÍ y~ @=_H=N$ ϡy:ۊJlvSckUy4:ebbvж ) Rep_Fin_Groups9!?'Rʡkw}NвzXKA 86~'l~ڂPa.={Â.ފR /fds3Y0 Ѿx*a6z) 1,4|n٘ ', bto'_Ҷz=x0Xq:\ym%%\pV3HS ,bMUpAU~g(!8yMI<7n(,ongHbGY] Em̸8 &/\=TocK$sH qɥh<ӯ-P)1 2g[|WIHv #i b\A#Rm7$lh)B0y K N=2%1Ǟi|=fؾWv@{0vu7 fN& ޘh k,38}i {y)G^z@e@-kaܙn&>.;,`m;< 2 5On Oa3Sg^%v) X'3S_Uos&QႂİM9ChMEУUy=?fnYմ /Q썻p1PI]³HsħGeCIA5 'QQ8Fa8)CTw]^)B_}OsD@,/O6>! -̔m~3LLJZT #3 :e8,؃a̡Q~&kȇf8^F[`IKu YL}|E&yችoO&m+~Z.C1ϲB4Wvq Qv|D}ֽ2ԓ'-3?M bt) QTW|ZBT"i\FX}Xww盆ˣzttY˃urj8wFũx=G= MPa8@7O@݋)}YPO1&sp̢YRjɱ:7 ]{^8sW  5o0~ 8'fb\m1Q'mC} [A̷WtXFHŽl5Y52@XP B%md]ZTҪWلQOJO;XA^;DF/]φ#D{qd1xWEJ~qq Y`wW"S\8N[鋩~I 뼙-c:L9Jɮ>d'ZH54`*s][lH/5x~r䬋]S'/AMjmNPg9Qhu4,"3.(FA.#ẅ́uH+>}P~.K>\EbD7N,_=$~y:$ V91(8]\: ^&㛮~/ղSoT,y9[!/gLl#Mte:-:QI sZ9(O>P {*0Շ4dlʛӠw~DibJA;Q'$̝([0ba'F6ɉrwX82' d2$͎ȲYSՊAp[G@ .>YE^Pn% ?R#ިHfUy O1joeeZ:ĐIOZ{'6B.'bwlRўl~ yؽ^,pM*RDm]`һdM^۹x5}yI!?!)-اE\qܐ"JKx)iF]U $̝q_Kd&ʲ j_&V 9teS% :~4koRw'?tUU^a,u-榀͆eEnv1+j|q#Y!d:7/~AYM?+zY.Y݌T0o㌜$,UU``X3__m+F!8ޠ=ǔ,@B ,;%cɚDO; 3{2I>+%UmH>"}φc5o`73\?0O贯O}C ng DU:c6!<٨mCƌm. nN34UWVxefxC>qZn`(ڶUQQOuk1"+JnQC\*L-/5yo 4I{Jf!p%nYA )31%_XGE`r#c2sS'6`{TyDbR  |= tt|ȫVH0$#v5j F/4:qI-;QZИS2FҤέ8bDʋVڌD%\?4pRAisfvKqȮA2?IG@n)Kj{$SGF^*{ Db"BGw0 k 'f>8q[JװSM0qM(^਑]#^L.y?0Z}gt=ǓЗ1+>wEjHy*;bc_jA$ "A!"1n%*,rDnf0ʓ11: eKdw)Ru鋫rrJǏ"㭻mnG1[5^rv7 Z[[dg|X]Ѐ:V&rn u$œ@#4⊽L| $+y)8Tz}85yf5__E{͚ \"ѝ: ɜ^F]Y 8p{6 mz}:fLL{/w=_NXXgn;m-Niq2w(%δ%NUp:nQ%3f ǣ&1 ԡ\6Ȫp7E9ʉM9a?oYM%)PɹtST CT$(