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 jj+ t ]w]Quick_Sort_Cost:threads=2elapsed=25.428cpu=44.360gc=1.956factor=1.747zXZִF! z]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;x+ǙS͑W)X\Ai} y{׎q! N܃hhx 8df3ND N:q+cvg y9o?L#B[٢KÔDWŷS, 7g]B%(0&W`ݳgwtfmQ j,'1WQ;Yfy{r /)u7^( UCpIw3=筺0nu[W"T9I +=/0mئEJwϩJqDY, 僤]YY_Uͼr7&CCqlB3ls{l"ag,bow8TQ!i217d|q+>eEHbXH!ۉUmB71ɻ/ƎqS`bm&dt=p,0䔓X/cy_:!ְjZxe~F`')߫,璸5Ӊ5,=7:B]Rq BIqG-q10>.mGjv phӥAMD_,ʀYI%^;yz): nu .-ۙl:%/5?!gYZ7zXZִF! ]ŗXi%6vm]w+ j,uM:u"0s$)b2[#%|7[&\Ug @42敕տsn0qcf0czዥYQx/(g5%w2[\2Fj|~ܴ,Y $EVZiI g[xk-Px= k;$xr-ggJ> 0yqV4Ҁ*5_榖W7=<lהf@S Tpt龎wR#gkstce. e6vNf6kճJ66Q-59lXuX|0K0]k^HoP)EYpt x7o>[7NZ)D(AJ|X*2 ";d txq$1-mdh?4+Уet⇌kx"݊ -8NN] Mbpct3Bw C{Η}7ZQQfHe fRm) rLB܏ 0Nnn[N)o7Pw'F2anxƋ%`eѨciY:dS} MUwxpK^J֯Qf`vK.⊒ L!soj P9‰c#STf_<Ȗ4BotoM*xO|@u(Wqiq!!9;dǙ<`ǢF+; E4CDŽ`FZGj;:_*mC, d,ij}Of|. V?n_0TVU" vZwԓ.yR.$-Ai,p~bi!tpdCIƢeJW#QAp6RRҸL;nOV1rK=htݚV,jI,AЪ$g$⊹:ShSXa\SnaBwI5ܰAyu+-J/0i͟{6%wZj99t&pʥ_ẻ"+)rHbF+GN 4`-]W,syrI Z fWQo?'Q*Ͳ0 ECn~&APi Ez#:'fS#ñ IA$|iBbv'9LCathuK|=)aa$z/Kڂ0/>)p$6Ф ^3 5zxWfpMI4XmgX[αB9|t]9K^KU}L{)6ʲ0@E͘YUcQu"KѕIeFQb7媣RvJYNeHhT;Sy?OgIi[ʪYq&:>f/9:-mnN1"'"ڔ@W܍r 1iHDԬTfc@|x}gYZ220c456d26cf94806165d6b12792fe157e569f5d72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 799e17e0602b8a57e51c22711081aa85bbe0ad29 6eee2f28316fd804254d47455168bb21d3c5ea3d f031ec2c3cc22c999712a7d3098959957923e7582b314e4e7a4b731ca7686668608f2a66abcd1ae4 + Quick_Sort_Cost