SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 #+ Lt ]S]Quick_Sort_Cost:threads=2elapsed=24.110cpu=45.932gc=2.700factor=1.917zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;cQT@ \F.j^7hR%?}(yBH(+Z1w۪*_[2e}xŦ^x,F{Z-'u5C+'[X<nۀC?@T+2@mi]Ȁ:ImgFL O*R/0WcZM)`܈vo*>3y3VHƝ!ꈊKO"`'RP*G TۂyˉN"RA5h\ֈ3ZQ܄XKzx~S?kqo٫nji'EY S& 2QN:VjMsAχ};|ږs R`̺D ĵ+4Jbvݎ q#?3Yw=Fe,G}B)oXWm5:{L;Q Ũڳ"ȷ:W &q;z֚MB IEch2+]`*2wx"jM%OIJѧ^ I4qHGᇜJ_(- ]&,Fq~7=&A֑%N="zvp(loHЖnO%.\2 ɑ޵'Lt 8D"„ʣxxgق2<za[|SVcLJ0#`j/z{?1zJ&S\s36OSiq)Ew'Mܨ/HDl,ʫ5nĭgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#dX5:8N~NS2=fIOQ.gӤ)RɢwjRz5r ,ҫv&NZЄRuGʢ;2Zߧ>3b {4ȝȿ2Nk1RCՕ[+)"t7YDf+̛bϵ!Xt-ɨj{RxX8x[U9v`%hOJφ*0d,{MCS2WSDG&ȲhJC.88C# V+Bv~M&>ۖJ,˜6˓E!ģ@Y=GF^i|]VqL"踹ԩV)Bqm+-$n=sI^-Mq M/*gYZ7zXZִF! zX]ŗXi%=wVƋR}<9EY\NR~l8Ll4 #c?ٝIqy|7C:Ewa_ 5hIM X@T[C<^ 2yPS[~7!m>XE!P/pJj]((KdI"cf@s%[d>`>{}L$:VsrY\lP"| lSoP}6Xp iR-e1 *.]vJfa3MѾ%/{ڴWy ?I*.w_7DvbMn:T <<w(3\IQc`\Qg Qz=4E,c 2k=5GٮeD*SӅnxVI~Ð G:rŬҽ dɂfnb~7zuk? )Hd"\DrsV,XjZۂϴs2עmg%gnܽ>V7'uRb( w?uQS=O &ijrFZ$(Gpb{ǵ+m=L Qڹ/ BiV}'.C˽\ކ5]>uLwa1 8Y4D>>31w"튞Pm+ UP}aRmٓ>mE)=R &w"7Yj$$T}*q7~If\"CZ*7 #kͯ6y~KP~2 Z$Vz^ BK 6Ce-ioO ]([ɠ!k*BwBԪ+qo^jQ!LPٛd_"cǤ)":/3Vdž3Sll +gfhv2Haag'8;{Vk B@P W"9`cϱchh Kˌ)$Cϐߘml#A\!H:x(]a{g#ʸ-3&a(6F#;@1NV`HşDgOܘVE;},bW.o'x2 Ceg/]Υ8x'|効 'T!V(mf E(CI1WEB,PWz[%:u|GB jv )#B|zԤ1-4=WQ҉o{\ X9fgYZbabe6b67446b437ebaa3f25c0937362994a5851e79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3 f4ee5e6962aa8487523b865ec9e73e61051f407d0244aea6b64148f21290b55bbcf3f4855abcd39d + Quick_Sort_Cost