SQLite format 3@  - llB77#tableisabelle_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, "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$ OS Quick_Sort_Cost:threads=2elapsed=24.496cpu=44.060gc=2.120factor=1.807zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sS2LUtW`!?ro{fK+Is%(尋 bxnh"nl (pu}G%} Z-ǻa:>5!,P7LE W5SCvv^kNJMcq<#A3)U KC.^]|7K8#K㟅A] wD|hq=wl? ArFYL6b5c mQ-p( ay ๺)4-*õUpBų/_cl:Sꉞ:?Ozd֡<' bj}PϬ 0!ncY+|^vCUlmlB4͆jߡhe[ iIILWIdqoJ36ǚ=?+Qxn&Ӥgg3AJ^=F{Bʋ.g u ĝ)D!J7DVq}BlG[U(~I]i9Bl1Qi|VYz + Quick_Sort_Cost9ϑ>͒Zŀ)7N92j/m]c͇"GQ_')X?x4C`ZI cEl jL6>Ԇ΋x-LF(]%}f+@[!ŭ'f x?Kk&/x`uk `tj{]s{ҨV4 =H7mԺcIX/e@$th>ܫ5&,-PgpIcq{B&gFmQM*@-.PEMsYKAo+* EqEɲT1h-}vU!\JW6ƂT#\"E@[(,4Rߐ M#VA^0e5Hvfsgs}[Ɓ; T)s C 7* ("}31ϬP^9 H-Rh!Հ~R0Ⱦi˄ <Z|"-V&/IwBWKT6qo|"n* 2Dh4򱯍͐dnr&fAVz,FvTygO!9L#q[lT_#cMJK=XnH`Usbƀw^C{Qjx4`܌[eɷt]OqQ84c#xe^IVڪZn+=2 mP[zPg}툽fA>k=J'.^1ݦ#g?#XqrZ؀`}E j$LoE~Nn#.sn;- w:Aig)u@?O+(AskF 5v'>D2EJ]WTB3 sv_n8'+~6QFJ;ǣ[28rls[ڹ8.$` ByNŇC:EG(|hh -1/9 0Rg5JH$)R;r mҪe(NITi?_h,%U F |a4WV=x {l`?{urF2m*%㑥QիX9S!JD~uVYD֞. j+ljقLé[fE?q; _kQm܅)e k'DkaEjRi_(c# AuWi7OJh_oG 8{yFL1o?ϭtL}u,mKgYknFVE6v=J2"oPՕu NUfI$XsOT_-r>wA>"6Y!Hu=G`'{v{{Il><s"3R0MkT*̠͝rǓ Z舕Xۀ#ǹ74RS|oY̤W}4 @jl~d%փin$Y2|A0v' 65tzG OJc[˧#TCC,RP+͍zA":qj!KalcT#sml ǖhވpWdmzKn.S#eWbU2ynjdm;KHđ? AI:$aB9љ_1ԨMl 0D$SBIYĂ?0:}qeͺ;Q1X)a)λLRںۃV|[>R%!V^]ZȥYϨ{5N") yv".FMB>MWu?Q+? @}yĢDyƸz3BݪNJK ?ƔA4ys򧾰 /F'#+ ¢Uɒ7 3 m7kG2[ /)RzTSOnN<{jD!_ GPe%V=9>4i'Ušj=(73[ 4Yݩ$ρnL gr9B<0fh G |{MAllT1u Af6}[jc|u)W\+URYM7xl%Fd,KUH z M{̓.n&9l "Y_O0E2ʡ4y^}A朝}Gmw4nfGIdF.LO:08.\ᗚ[%ƙ*Opi>Z{}xDf$}f/{'9_iA!60V++YKfwSjs[m?ړ.^z%Wܘ>}Eʷ">5B@`hB.=Cf!I~Ȇ`!) k1W-[u }QmN,v 4!aЍtӷ:҅[@=@~);ЃY[|Y ݐ k0c Fi {e߽(wPXu撊<^lq>%u]N(\ 0#9@PL}5 Kت=|LBI6&,Ze`tַnuF'd-YsЪܷu ~T "ObgOѝM[r#,1khØc/DhTwL{5]  wbeIf1DhxZ!rމI1Ɓ4)o?9:0}Zc; F4?i%pRlCu௾%oy}sς8 ;tKJw'l:nЏ)H샒1c?6(BS_#dm{'aLic6Ja̬`֌m@X݂e}[^TҬ>,Wjż]-bؚnc^JBO0*n..'fcc"/ōg5[{iO?^:>SK!g=6h%lk̊i DUl WgYZ001c942e96601ec3cafb3353318b24d63d21ad27 00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 06836e075e09e46f8eb9eafafa5f472179d4079e 0bf9827594e96695f6d45e74577b7df7e7aaec47 0ce0705a136544b2e0d9a293a9499ea15b138513 4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 7fa6b3c89e3e382391450f0d166a08ad20753198 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea 99a1022f7c5e258726c42743163c68599db87e23 a9d5ad43ec6f86c94c776f5fec4964604cea28d3 adb8961e9fa21dbbfe0fd4d3fbcab3c05c1c272b b1ef7a3ec85404c96c4b02989c93710eb0f9d363 ca66f202eef5ed070877fd0fdbcbfc4f1c5cd782 e1e95447f60e6fa9698fc2dc2d3f9a6dee397c16d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 3d4014483414825c400089dffb34dee8f3340d83