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\ %w Lp:threads=2elapsed=35.786cpu=65.624gc=1.300factor=1.837zXZִF! 6a]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gLߏ?(ݸ a0^ZnAح(pom&&*61io y5Li׎E+7~q 0qt&ф|C 9]i@+# e=j2f"?$}]6i2k$j̐?,LKޥVyl܆4GZ%H5u~ȧ) s=v}׎cCNV' v 0D2ې`K gtx G{p|t1]c  LpI"ʐ Q̆yo/CJUoWcPN_xK#{_@lٯPNFFN`2ΉtF#r "{}A<4G12ZKI]lм j1b%}ЅƱ)ubi'*]7ty:ڠn%zF]r"2Mu? )}r&+䝹%ŀ0VP /Vdl?6YN и]b7̒}G+o;X~ȍ) !)*72qH~\H~gڏciW/gpD$:|&&[RɏigQbJƜY@X N!xQW┆\̻ $O]`eqS"L&E۞#]-Ȯ,@r@;rBm4!biݏL& uv 1~1i<^åa4 k;0cT?zCO+#Ĉ)sg47_ < x ฀*1q {2fC50_zax_r>K֦I~pBG^"ˆn UMюb>*p$p҈T.4o{<Ʈ Xg&w'&WxgB% w۾XzږCざUǭcL1V~Sلs7U:c}Ȅl+uz]ARmśP&#Y;>g6ArČ8ZŊDtGDR$~ޱ"~Q!Bk w8˓wh dHmxk Px w}s؋*:bCI 0+Ag^ML96 U'qj 8p/ @Dv Ďo9dH6óSv u[>yp$se =d)з5ZUDF|԰(,^J\AN{k2MS\[cR X_?UhW{d0V W!]2gOґsA)yi?l\DB@>WMawJSG3ӥ8F^%w-[W:g/yfJAu .>RhT6*Qվ򱄮s 4$@.4F*1@/j{Z<3hy! -:ջ>R6'-i~IB^/X#|x*׉#!'=bXHEIihs.7{VPXO普O!o7&ݑץtaOK}P}H+ueD q!g4 kᓷ:x[@~@w jW#m?Qywe}pmbcNbUvK7LL2vv'Br4z>(^s\4T\'&ݲ%]flyQ1Ή;oGN .*R2”I;"NeZTOUF&2!O:oʧfFyn M_Cj"ZZ{^? ^+O>ytY&>d?3ͼnɌA}gV"U)Q?IN άY=káXX[洞nlf-nEħ2$ 4\^`i!]q?^I$1dH(1>v'UA1tIg PA8FTjfG@fSN[4ègkQt\ ;+G:M߂;VRFc^%Bdq?lbEhr.w6n܎mi' #* j+8bBy "+ypK\Cvf2e7쿏e%dS \ptOxj/e3Kh2.'oo0T&H ' K,'z>=8AXNg59IL-A48ʫ'4tY$L˗!o&(6M%ePS5j@ibUu:AFM= `P>3ҏHjrRNͰBxYpp"OQwY'ȃ[_g[UGqAT 10*˃i la6َ P~*/FS'T4Q <}h:l4lgz`TCqW/gp|mu_isx-HZB$FyTr1˃6|CoߧvL4#Uάr/6}:٣-vzę!$9 B ]j/ ul~=9`8g؈g zC =c]-*(MkgI^>"&4vpw#汀csm oTL<ߢ) ߛYw>L^_(Bvl.[o\\ϯpmI[͟BfCHu_8"|+Ag8ޟw6idq]G+NJb_5iL&TP=C"/lq7ud _fLuyܰ᝹"uG72LxT{48˧M3j%GJ`EӨ˜*ƚ(9 }3"C햏K1?ϥao{d\l"lԠ2s}y!Q#TfNne$009wzrgove^|a^v$Qbn##pF/VcKN Rutmi3!`U͙7n6H>|Af  iH;cKZ+[\.dON((C{ &Kt(zu(LiOW1O>6嗞rcx?Γ(S ӕ5'DO˰|O+U.&ɭu/=sCLȷ’#(֒╣1HL*SBWoEp,(mV .x /DeE>#,ȗQR(΋(4vv-p8&"Vv]c)tṷ:eHyvƿɮz ] (ӰF1H<;ZBNX<6%lPd:#bUX[F>h$ZVym`l A-7&^rPw#)Ew&9w?Q۫C9EG1tDwQ$A7dt*2pVge$0+;8;':`*@VұgYZ7zXZִF! f]ŗXi%rd>MMOͧF -Jc=X rB0R-P2Uig޹ RҭIoM^(o}%V|'|˴*B -iOFнБ>?:fr~I08Mz0N:F{) K>d hVܐ׼Ҫ^n` k27bjA-|ke)]68w"Goϻs{f;G4`tH#/ܯsPowsfS Rx$DA[fdrE(b\j&iXif޼A#c#"g."0b jW$$" A=@d(_>B Fi!$1s['ixC7fӞa'WB4p1L+SQbv2T !g&Q<4l[`9jdmNJY NZM_軎.DN"09*Cؾcu':r&zXK$<8ƊB' OEaIT~M4?nq Ԑb: k 4舤K-%\ʙ*3],6A BЌ˴hVy#E@'#} q6,ji$q-V H:8Dlږ@7DCkrǿ9g@A=:7H&үlb96*o_nEiv^+Lvr͆Z>ɼ~YQ1hڢ ; AyKtXH KC͆o3)NbH ;'#jMUq@/ۘ#=dck2ΰB F`Zض' 59J[|eYp3Fu Jz74|fmkvu#:B:Av6?8ZN)`]g؞t9ACU`>+8PY MīkUǼ<յki#rRg(/,GJ#ďW3x.'7ƒ,,09):\)kkLYl=0b@VKoӵGj.#xbE3'N/a9.>_{4m\՟ume 1V%^z/7j) >k04KPP!Hӡ8;珂I/Վ{ Ҳ%)2\GQz1Onܷ?$UɔNs.t- 뾞\ƚoK؊Agӗ)iI/ڨj}{).7 ŨB#c;O'%C\n9*%u2ZcoD?yBb]a5ǂN."[j2E[>ir3 6Zi?*}vY|% pts\NWξdxC7B$+nf0 UX뾀nаҚ۲~UC; .0aId{8?WU/N 9Vz0N8_ՃDž@YN\?I5O.ޓyL2cn i@ž> dcةzuCdj`k(N7zR}h#.NdcVߟ~f 5bȭTgOQAgD獖fBw\tN|SjWrY.e1{x8^O7JkEk2egzr# s =' ƭȔƥD^[q1ONS drO8(As.PGJwh(\F$A:j!EX6?>}5Kw><