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 55@+ lD }w]Quick_Sort_Cost:threads=2elapsed=23.720cpu=43.824gc=2.072factor=1.857zXZִF! o]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSv\ ˉr5pGFIfnAzUypJ=݌ F$zWbKAM%rdZRtR2P Ѳ BLF qmK01ׯܭPqcLsO3s6*;Ă. ES,FֈI꥛N¾"t&ލ /Zv{[b \E]޾r6;nʟl2;*xïtN9RJF>]DOfN|Kֺr MI38h9{[u!&:χ饊,k9+jǪ6\m 2|R;4^i\Ә|צGE,tI Z}\*fH,y^qW?&O2xeyZ8#Euqb_Ӗ/֗-@}xtS ܟ>rMЃ$l#)ӳ}(=~6D9ᛩnZ^BfTɻ\%g—Cucsj2KSO#n8iz=FZF`5]Đqk-չG7NM{>Tr"Cq7=`FD\]K tk=p[A^P5'A~ slm+=7l6` 5(=_AK^ݱc K.%dnȎ\YWKb`iR*vbRDYj%)P  ]JkQv8='!{zqQEy&o)Bh0 '"{UFdX|\AӋ%퐺~l~*oy#+2NHy*. ̛o/.DžںftASEbj1|&"8aQ+esSbCR&ŞNHn0p3o8<KUe[E=_%=wO9=R ƾVԋ?0Ps# @-Q[k!FR#͍ 7X- 3\>( Aa>_댳j-D8nPKKNd͍e \4IF&RIRaAגxFL7wjsQky{=ˆta@F._U;;PGnv/@h!]n 9rHh_3.UvM JGHqa])cjɁIrO/BbN"IPT/b1N7=\!04"v*%ńw1zY4V7'N(6|teIZ\f28몇Xc]eXm)#/V\yl)ep)/)?͎ YdrSQUn9@Kwh5CsQ-]H'PSCկQce '@={ XDZEP*7MgDPn@__#='j L?+/t+b(&wcbMM.-ݒcF^xq; L^Rջtphoծ|qLP= *+%mdL˄:G++YQg?#EfԘмt2F+Xhuss";E?hg2Vp8erj3WiT8zE=VE6RUѱ.r=q?^iƼ4XOGLjvCĽs j\c + Quick_Sort_CostHJdF|Ҙ# 2-!f^-}˿ 5#b:]T{0&r|^DpGBj]&xr.$ے@tO6 !':N1*Ӝ{7%%qtkk,+LC10(DLެA'mauF"Ͽ-ȫjV Rʶ0s>qQx\wӨ Hh%C(g膶L8]qQcR1~Y( 2+'m%=2DܩzFȫUzO?ěSW7ُPfê{ci ;_n%vJӢlաE@8j(>|^o("Y:8fU΍[i=֖o4_Ǿay[NJ؋N7 e*Q++4{@~p F 48E|hc/ /mrwIyXeHl+rn(2ɑvJrMrt:q'<}H`=pK]=*á1Fy6{IkZ2҅Ԡ[&_U2ETUgtxG)1|o1I_%k+*o4 8=}Kttc ,&L)! .fнz:l MUKjKX Vf0=B i״}mG;]9qLl۾ryE6y1wUKZ NnyK@-'1^?Gn048QJΊ5M8 ׌J I9_]¬C\vAIteT>iBi~eZ2խ=]WASD"6༿!Mx|bN(ߍLO~#Jż)'< I˘Lٚv*H5{[$z3Jsf|:/b7ع1`J"rq [<#sU#AߴK4n?Sv!ǛIuK\k&D%Y>ЯMace4Bo$iӱgYZ7zXZִF! u]ŗXi%n8>(CE#H/_=<0({5FѹBGT* xxcEW_*+[P oF^"p0Ꝓ 4[f{^h@14*tR>677ϑ*Y9OOI9>6go [Z\34Ӆ 覹K&\ݐ\Nː% L|~0ۉ8zel<'X;a96r: W}>( Q>S%lHXuo'\׻Qr_@ -#?$u$aS7+; bK@ SVBUkm W^Kyn1f{Xo ႰEE4].sL0XԳeJB9rUax-b5chCl'FDZ1T侘]Naӥ{ Tt`g g[8`d^,ˡC̺rf}B'h0CC +Fn1vźj~ͼZY9؎ҫ/yD^%yI Ayn)~8="(0EJ3@}do%F'Ⱦ5}0U I2#Ig91G›6zpt8;IW7}PB_ۉ"J>lR?X* BkM{3L!Y#Au¿7޲.)͂VΙG{a<7?*05!f|_PO\}e"5%0邂Ó$L=7 vD߸œ?7"~`K7'VRdqɩ&.7: "*_%cf8(4}@]|"|X=\G>