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  + \< OS]Quick_Sort_Cost:threads=2elapsed=25.768cpu=45.224gc=2.052factor=1.767zXZִF! ]ŗXf1-q恈͐7ӺV lt>;ecm| 7;)h I6\LFAULxTWX@i2QAzMq +vNlbMJOADqIUr~cB kG̨ciKK/#Z =#f$LLħJ'|`I C8b."D0`Ӷ~P_F͞lp-Q o&ДO/F[s5vYYʨҁNe^ D KR u f}?:x>/ɚ8w)Lq.Hc!{kKN:%t.) {1Tve!\f݂ 9^(1Z$f%c!l7g6ɟtV:4p3=MyOaNмL1C媬*7xSބ`X']?\dmWW%n)C`k&0WC^9܉AKc3*qL9,M7.Љm*1N lI1մWުº!@\6M uĕ3߰uhV + Quick_Sort_CostBߒAJ,Py[޲psjoY-RA D%Ǧ)(kUIX]ږ 0JT|8ǝ12%Ge2_eFU.`m J\uS.c?IRr1IH[\7xE$smGӦSMIZ`EfC=kQ\h8aFS9cо>MR2ɜ^ {Ncrh^oeOs>2pDeRx#g "5+i޷ݳ\px<^Cva%dN"JtZE%\߭!cLWck/$ָDW 05բFIG[$*{rR1mt o5Z}FK3pg4H 715QJ\ЄT! oI-3"vBLU4tD_ Ii BHi)"An~cHS<œG$ - Vyn\樏r4Cu&"luɗ21tIH WAIqw:s%aRTSx c~ߑ@8 {≔d B~!{5quZ7U^rVBr o!jP.r5'b&Į)'B ]yIYH#T~ 2M l* ]䓧ԀRE(} ]*WAg愼x^gpҧIG ʢr7K? nV9O(\ R3b} oQP%xe0q6|` a*i! v7|Sn)W` ρHÆc}y?+"W d%X@eZhL*xӾu vCnx"`DrP&Gs98L$|A ,ϛwGcO =B RIjH&œ::6J4 Gws6͊YQ&[G,E=V#Z.AvƳ|`b;3-(]ucǭ>' `]d|Ix͏5%E;n΀טS 0هyG&d9+ź(Y3TI+uظHƆekIW"p+X0dv6umy5s!5Ge$fB#W_MW1UrՂi*m/ < ?d_g3[1C,rUNЌhLA%%ZWEF#-(c'wM 8v[EC %y;8vٸ ՑUmG<0I594߁!:f v19̓ )?y6g߃\x!V k~SɬO\j%-G2 @~{DƦu~!K!&#':?rGfC8FtByXb>%pD{А ;Q0E y$nrk whhEVq %6+H+VfDR=\ľS#9zPEl=mI[ظ>\I;®og):^'I#5l*<ןm#Tڰq+tjʇ|F"(`ٙ]Z>  e˶éR3J?#[4FoltՃNz( 20*L>csFHE"O=# &_UaNz`Ob;WU$ͣg`/e^t$7r nɡJFSTHaea3s[c-DÊp;*`ȉ|a/j u^,J\FB$;jݶČb L&QBඌ!vҫW#%b9ylVI&1u X2Ɏ8j&IP62!Mg?lx7z~gӒm$~c'ޟ D-SQHje:8.RjN}F@HI~5/\U&ÃY) C_,M=擑h3o {\Juk4RC$[BQu]`% mA/*?>Mp`tܺ5@;J[ASMd Z..Іe~5Z415:a$<[F@SSNخܨ ]\`+/I*j2^X^E- g"t]bq| ]2zؘR34}GVck@fŇ]nC 0F)WYXn9y]ﲩbrU-_ ɽz| ˧mR[suVRϪžLmjE/qGw~r=)`,o;BeO`*vEĸ@2:*[D?QbRL>q&?u L"\Rk>FZ.dc(* ΔTIE a\ݤPm.nE+D 4תE3]X >FO~š7%";' V%! bJ/>8{"=3 ^Q?(2ǝJfЊYt-jn [bN|F%^_ۄV{ %qoL91 ;-.:6jd7 oC]Qs馳W%b8%}mIn)#!VR, moA,(msɘm4fԆL\I[e4A6yJ9X{lO+W^`gq8x-cpA dS,1)p(Y !#0784Mg"ÒWHgd& mgYZ7zXZִF! ~]ŗXi%Hc\=5Ϝ D}.Ieku/>TĿOf. 8ӡ!c@|X; Yە V~r:yr#ֆ?`dJbbÊ!"1 WoD "ny1v",NGu"P{0#ONm֜Jh4;q*~/_ⲫOO3x>0nEഐQZ:Cm 披.. C^ b/; H=/-Gwy2+9Cmccvj3D!BW^.]|c;+!BJ1+8({9Ai%\:-n^$l͋4Cu₾̚9sσ9wFk߸MD2.(Ѯk7&pwGè QxիǬ਀KM=O|#u YEue jD0P$0Jz|f;| IϮ/ݵlct"A#r,pRzc=hmBC/@Ь".wpK+#c<`8' Oxz.zI!ٰjk Bj8:4  `}El:cXAN+#>*Wը 订تT׈ݑ4{j"Ӊu^UE*(h8[gz<.cÔ.KLB2% a$޷2f]M\%1s1Z }^[`(^R%)@[y8arTSD3ی-@$@΍3vx gYZ001c942e96601ec3cafb3353318b24d63d21ad27 00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 06836e075e09e46f8eb9eafafa5f472179d4079e 0bf9827594e96695f6d45e74577b7df7e7aaec47 0ce0705a136544b2e0d9a293a9499ea15b138513 4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea 99a1022f7c5e258726c42743163c68599db87e23 99aa3c6b276653e85bb16ba8d85c222df4e50423 a9d5ad43ec6f86c94c776f5fec4964604cea28d3 adb8961e9fa21dbbfe0fd4d3fbcab3c05c1c272b b1ef7a3ec85404c96c4b02989c93710eb0f9d363 ca66f202eef5ed070877fd0fdbcbfc4f1c5cd782 e1e95447f60e6fa9698fc2dc2d3f9a6dee397c168c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487 09b65d430a7a9891a3f68f37dc3b73e82cde44f72c2df27b8a16676925cbb89bb8de47be88ac1481