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 ||y), SS Rep_Fin_Groups:threads=2elapsed=92.088cpu=150.336gc=4.436factor=1.637zXZִF! OC]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN噛@Pw$L𽏩9p_t&,)ߛ {zj!>1ϰ?6 xc7x^u_ȓ.^>"@๲ s.2QG&/rYZp)FW$ G|l1e-:]$SɃS~|;+V&Oll@y?bhOl,n HK;l-O=DdSrT*[pGGx١p&bA5vT>WE@jr\ps:Jo h"G0܂+~\/tݥ<\|MN+򽓒pn 39~56sO&u YhJrŋ ;l}=i/o+*bԃdwœ<ڭ#6g靗Ɛ\؋lڸ8sd)P`-\ j dNyCn1 $O10۷dC N# xFA8_ ΣmՎf\InUh} W=w4cC&4N\ A^ɏ}%# q] 1YXű&ij(W"fuCĴ!;.Hxmgwk+^\+|?3jNvG@K="' 𓛶cQ9=8!Kpo {ۑHT ܓRg޷Mu>L^]ϟ}M)#.g_Pu To%ç77>B>t(CUY}+Q3^8Q?w2ApZ}_(_ddS$peJ " 81%(v.c=q)Cz-#mfAm񀲗pfUyfy l_V ) Rep_Fin_Groups¡63d~j"kJlEEUugVoEϕbҟ⢢ Oʌ/|;51qRU7)g&VdmO˥?g2,_!d+5*IiaxϽ \xAݍǰqjM j2RR++{q԰~wx'tm_iY"K[턇Ny#.B5&7-lC/ YWdغ@}= (}@ 0|qGKn5CtB924SDAޒٯE?o_c$px৩óra@a$\T@`EFiկZL'G˙>kHCTfѷp]cN}5(j \_[.Lóg9aQ Sf)kӭrFNXcBaCNSA8< …xRHGĻͥEClq7h4;be*bQmEfB)M,f=ǻ=dZRH4)tH;E[_%)aCАG̖7b=T 7L_;(aGCQvXhNr2젊ܳ 5A}py;eҡF4pSf6qx`!b DZm#kQC㑴8Sp)ΦlKU5-0[~,nY @d9i4yτ*M{@,泏s7wM2 ns>4qKe Br QUM{aH/!*R?)`^D>$Ԡε5@VwTr#8G _'2F2)8~bm颉._[G2?z+WkUz!3QxYڅ+TT7%synj7?zJ"_w!m&C#$1 !Ch܀bd'!U[t Ѓ:x̕l^t. },+K1߉LR#3g>#e tܿ e'Z#pS EY峏g11Eʙ/U‰g?nO "햓JUOά˾؝K{8ƕS<򴲞6gs'P1TC5AP% غy^A=$?yf2 N<6Fa i^V$hA;M܁[^HMql`YQrgN,4wP)r['<݋(n7h͛АMFHfHU-r\eAv4~/z~¯bj*e_N#y74qWe &?O<5)Tk낟o;6PcY?MÁlRh)ڮ'ɾ\ bFsPȖe_:}8sAjdH@U2hBq"m`ͺ5AL-KCqb0(D*A۾I*VwË{I;,DEEL R0[iu#6JwKQ%x0!_Ytp].-F+3_y.jam/QE~l&ù:.1WV{8u1\qy_*ù OW&*RCrV!dqP8or9yLFX;XVMI!,#l 6,ۛdٷc)|wT h!ezn8:3N9H<Pid4C4~KN+ bts'Ff'6 ) &"#qF&5X`n1?-{) IgߚR΄6ײGuv9C7  2m!r:S3#&WW+S"e>=!{xe{:lmD.hgS655FԼ2Bv$Rא3,(\GAKQn -,pr89wv-Z9Z$31j8VX t lHoe !mDӨ~')Lqر> 1jH}l~?DGrD'jYPwQ4QI L&?Γ>J/UVEj)jMՁUNŽ܏=tXEq~D%m]oe{6#TpDB剡/ 3%hCHETqM%fA"xf4TOÒs-]*hd(!aҹY˾Ax=$Ƈ2 aY">4rK5̥k2%(;m#\MW*=E-3 M\z2*0Dy"bmJ7<:FPwe@YGn.]Z`3X &HjŤeZ'qwPD]9m@ח.IFo01 ;0]5EG4U'.5>/]Ni{A8~E֦q_ulޑX<ʸ}e綵jb8ܸ|)3\pZ9avʻU!t{ф #ր<^)\\>Ҝw.n^NpU_^ Gڛ NaW?yBѬ>'=#f&D;m52NEZ>(LgT