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  + $$ }w]Quick_Sort_Cost:threads=2elapsed=24.181cpu=44.392gc=2.144factor=1.847zXZִF! H]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSfVmI u6k=[ _J4W^7LPzx9>jCd!P#LNސK1Xq?øoĉ9;t[>gN5bȮS( 7f%DOOov0SciTO 'xDd@hodLc(a|1@PTX17N$?1(_.}e|! ߛ?ӕ$F$\4ȜX(\% d + Quick_Sort_Costd˽4^xt?v>$dtxT +O!c3y@XQZq)kJ p(i(v)8?yŴb֨-.)S(t9wiWQi$39b_C\U:6V%M0a|BvD שST-oPl#8!( <=p$ @@p`h捾?Qxiؘ 'K2$("Tfl ir .d 6/$4{'_]k +E>9݌}kz4)ϔEbQÝÚ q9hwMoy5DF~|"aq=d:7&Ip/  l@8%-oD]]nR,j)? WyhLtc=dexQ#U&4MN_^WM+Fb(nƒWfE%vOS]P0@WW_6ח"TۅakEl ZqXt)cwJ[%*MLZQ]-,V\Kh/ `wS[1*HBTNe5Ɔƞw cxA8Ӳ :]FU_W)$_H݊ `Dnɂ7k)2'%< RM 'K;e^ eQ fnOQ"_[UxBSL~A38hnL8c4>xx`?oI6yg'8<6Yѥ\^FGu{>(\IqCTf;ď kBRG')RXMA?}y8[(wnQ#K*4/Q>bmM E$6aZjkF_O6". XA/[ w{"tؾ3EI!d3G0=\:0~bń~o#&p*6ɕ|1Z7u%=ҷ*EF؈d߳:EUy; {e@*dN6_3ffH~{]R?CXrIs#H#x+x}Ѫ|óPg66GV~a7ʊio0|5) 9y^)"Rh4SC@! hOX}|,ޏi%Vg,IZ"BRo7n~ʁt`ewӳ띾Fjyˆa毋Q߸y)Uu6#f u2AŦ)kԛ5qɒ7A_/|8$-8S5kjyĦu67Y[pcpT> J9q/ cuX+d0F$jdkiK5f}+ȅyqm[)4z`Կ"p--%Y5 ׀ҏ!qɕSs6HpޡLfV̖T+I.",iPa9Pblw ٱd)%̋Q@x6!`Rs|FI1{:#O5\j;+{TGe[1TϋQ=G!DڙGW^Xǘ }DdnbRx!dD|^G6\2a˅d+"{a}>aFDQZT͡R^ѻ.\ Km+vE <.SlT2ޡSx(_j}zUOky|IJ ugaKMznCjݴj|$W'/ĤZ~\@(jH,1 4w(" 2s֜}`&ts̨w9Vo7劋9}O/pTsdPÅ) gMԂ@`^Zq )w>4?aN$1g[GWAKˋxF{t,}@DmnʐahGC`>fK+4qUH9߷f߉nFg Bf)%F1=G/]tU !VS͓b!{1vݴo*!uv],7CHn.˞bB~8`oߟ2vJX/ןwghchgЬb8(W sNRS ]-syN:=H-S4U3YR7#l7 ٶiA5=v^=l:z0 d`Nwi5&[PB v|hN NL; #d]t|CN§ y*$ _ih4+d#'&}Ǻb-CӣzZ锪,rK#.M 9b/}*֙2P =wf`ꊜ) Zn@ ij-ڷ=H (XƜ-$t" 9$e$oO" ?ss4ozj9Qxݤ)]eHnd?e_clV˜҇H֔ƅm=#df{ u wQ#O$֏2(*/f>mW g1]cZO)3*Nd8ᒊn Q9Sg51V?0C[C~gz" P[͵<,7OID/`ќXddim"|cbT G?*d/ ]MY G -Em`.^!S)n֔6& tQa^|􄍃 Նrv[by&aرRxd(ĕ6k2K#I,sEYMϞұocҍP`Wʁ+ux~PW@Ew:.uk3T;v??M@Ro1-6}틙|&IW.BUNQ)_Ϗ ^qZޔy|_?#{eUs .cΈַ"OO.eMa7}ENԃw`p[68`K\[/[=2[_Mη{'A? h(@#c32H`ȟTjy)r9Q+io֋R.nAl V +9)Bl'ݻ)we4: 8$rNn:F`&8Y)G(X=gWX?(yy4|WzX; J OgYZ001c942e96601ec3cafb3353318b24d63d21ad27 00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 06836e075e09e46f8eb9eafafa5f472179d4079e 0bf9827594e96695f6d45e74577b7df7e7aaec47 0ce0705a136544b2e0d9a293a9499ea15b138513 4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6d9f309650dfac3528f171442844937b090f4043 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea 99a1022f7c5e258726c42743163c68599db87e23 adb8961e9fa21dbbfe0fd4d3fbcab3c05c1c272b b1ef7a3ec85404c96c4b02989c93710eb0f9d363 ca66f202eef5ed070877fd0fdbcbfc4f1c5cd782 e1e95447f60e6fa9698fc2dc2d3f9a6dee397c163b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31 10cae7858f6298753bffb93deb42b58c91c816c8 4167e44b8013937bf7e6e2492589d57b425dc2c1 72abbb134b16227de44ee575c5b434787357b95ad0bbe1d5e223c9965d1b693aeda02c1cf82f4927