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 ll )lt SS Rep_Fin_Groups:threads=2elapsed=96.480cpu=145.608gc=3.820factor=1.517zXZִF! Tz]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN噛z}=^y?Ȩ+Xm^,Z},&]0q7_ &q TΏbl$P J1;^}pH]EͳCz5cLM6[#Ȧ'0W ˠޗ?G֮plAg7)w:A ECօʀp biS"_@ 8*sk UwMQˇRds=^N d7ذgS S:\n &R2 >jhuR1/Ah㏨F{߾y5RiۿhYr5 ȁ s#z|LJe}=9 ]#G2m  TĪ>)Hqؐ˭} /|Lܜo-}a H"r,bŗ'A!c[U:Y9*G, NʗHaE%7O^s5P ^j6J!:ꑿ'sd;Bll߀ry?#I•qmmTf*E02N ' KdҲЄB{aul7x[bh_9nv{@5y ctx=jģ$#:FJE_KmHZ,oj"O$4 ? 4rX)zZV(zAp[ xrdP/@} d7i;*I"D $!c`Yt~Z6 ܲLQ_m):$IeU agWB?y`>+u)2Y:kAfǵnUQ[<0`8}W@X3:Rh̞aWb8m-Q$sh5A֌n {P6,F86l!*G;B `(|g;pPwW|3e&'3@gg-)&Qʟ̒r9忱 Wt^"9ֱ8p6htO͑l`=SJ{W[QE6cP: x5[˩ZPex+M 0h#m.wM 9ۯq=%XZjv xE{Q~@. sOuϊF1hZ\7i`8dÞZ fIʓV@L0(Ӳ~*O#q^\\&ܽF\8}'8s~V:QQ<\@4or4jAiT73]>@w^a[)4=Z̯O;5խ a}S4uUFwK#L/4gdX&:.a%`k!a4G"P j#,(0ѧ';(+ms5u\vʹ&fFqpj C;#ii-%jc/5@~zUkydج)Ҙ-0/-+?V"&)b,Jm;.uFE9v;&9 I=+EɘB PީE3Nà/^ 7- G&e2c"$.u8.ƩwU^/*%#lt N -i|i< 6qȖ$kqHڨ|-TC/weze)RfOzb,fV[3,f,oRdFE0t`iS|"t $$੩I>/#}*@iǝۜ~.k`(5˾U>Ĺέ4Ws D*ldѿVm)p%Vf9>tUUKz?Sy#';,0"[_,F/3IF-M'7\30X)1O/# VVFKذ͸fE,w01@dۿK躚14 K1 pkp)/I˃0nZYG^u^ӑz;\R@I]GyJ!$ZBntub.H: PWA#ʧ;մY')$}&j,N+ aOagz^y@'lX{g/͙p;"^Qdi h|B替#2@ITbQ_H]ރM7PCx<{_XC @ f|sosn らiUMKe{$S> c!L50Aüp_Gpv@bG1R-U RnkofE,H /قL~_jsvO}tN)OX ) Rep_Fin_Groupsy ͬde/@sdQ,9qN4VwO>gQI҉r`[Kpd7ѹ@cQe 5pXFdi?M( 0ڮ+% N-%=XV'$")j5Ӟ 暕EfB&opz9b˘84gT cJSB+G!Ck ȼ{i_i9H¬;l0.ũLsKU^kOG}jJǿ^@'#N.njĊp.}xy-2Y3o<GR&MVиl5YG6/'$IDIN2(!DU{N)$mPK]`],iqĕOM,Ϋ̽,q"\9ˁX❅QčAfc=Q+!i}gw\#vw{T\wsKˑM{8C$TB5DQp/s⸍`жoZ_<|ox35$#Zm~oSM-+MyP12y:#=MiU hJTvr3/[䲽-h-C&RąIL3*)*ᙯ>'0ZY0QlUr߯~ \Q_Ό{3^fIų[cj(J L:!M$i#) 3feCOitjr^ڜ7Zy 5cR ʼntq9F뇑dq?Æt7V Dqj|-n*";fR5a7!&s(0ګVIy91B:taCIGNtJq|8<%Vʠ17i{R/AMRojelv@X>; ')z. Cfy8W i_T4?͍<[fwJcI͹obH˛xkjtwZ|4( ؆bllM4wwSN2/m&@'t)`gz_(JkM>)󜉂WŨٓ\~h Bl?,}T`xͮCV˔f+AKɸs߯EFՒ okǡU ;3t<,8a%7UOd1eL(&g"yt?"v6@W+Lln9Bq&@D~<5OK qIWoB`ay]cK[Bm]bOظY+0݄!HbfD7\ 5MEZ6_Dl \qܔO4կA>5(ޥ|9ɐ `ُQrt>Dd r~@KI~G"fɲ2"`7+DϿ}X J=5VܻZz$_x?H`J&_C"0%1Ԋ-@BCD pt5Ff3K=Ks` 6ybd9-Â?I\P)vRZhh., Bb$EJ W5yz ~]bj4d7mYKFHŠ0ֲSx;O.و_gYj7""+8"<:k݅9Nd|;+PV^( '\YE&hjQrС$ V[ ?*)+1ݾid)k < aN|` ɞ,'rdB_堖Jy~,vwv,蛶-yw[D]c7(;:j'lGMD!eLW =wz\YXGECgnR|GC JN 6$}?f " וּ]ЮH[e_R7ɣvGyH[/3%TH!qw9W|;~GV kb3U\)_Ԧ ,m vfr 6O|}<<3ErJ"LD>bPFԎNSk\boHGz66~ֽK㥻3YN(vxwM #ZlTY!BH3FKՕO]/֊-H_WZ?哗'ܐ2|&8nާz9^M9$~S֞hʷab&%*dP\|}y/kjgX$CRw0z' ʗiV*E+4Tw>˛p/N)}h*]4}RÆ0l fKxܖ+Jfes \0+4 R yǦyO܏mQUF6 w߽=)z$VT)TO\N*)kS"Y:ᥲoB鵭TܘS@Ձ yƎ l:80oxmaӪUAqB%-0bc,w''gYZ30e89132d20913969748d7338b26f8a992abf46e 6ee2ff0f6bf1a0cf002dd6146858958c27102cce 71f19ec4797f8c84a4b74f5859dd8dd527077cf9 c0a09cff0dbdeee54847ab70be74b5ea4da9b986735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95