SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 AC t44 ]/ Median_Of_Medians_Selection:threads=4elapsed=14.152cpu=36.364gc=1.252factor=2.577zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQӖj"L]9ZEMomPeg8M8ڻ# 3Z\ aL ; >#ZP B_r?*ڂ֦v~s% IZ{|Ku,׉"Y%Xp+w%L 0`g?SQ.- V.t0=]-/rYgkJWH1 \`oE#ը2#}X%ɮ,HbU` r0ȵ.գ24ҧDI#l ʷz.0[CA/4 R .*%bTμwʣz){N?_ dcnٞy2l&Tm4HMz; J+}Pj4T`TJL㡩{_u (_6#n]I^8Ez&,r&^Z"cl4~Y{:<{)J[V63)Jl,z^ru_I$F.m g93#&}ݵu6lD@uecײ~uޝsq})KMik0('jA嘅)3w75o\ 5(AuKl$:/bG":?\9_"RhK k}GV`: )`<վؑa @FD**|yR_^Z(CIj8bZ&V& EeItofiP>2b ڄ^Y=؟) -V`g(/6bt9 \-OO Ư" 'A\YTĹao\榭sgJQ<\Ȉ XK? 0?-]s݄s.Zf j k j!3y'.I{g \dgRE3>lXF^qG* \b6>!@ȝd,%~)>R)"szZrt I3]ࡌٞ25NK* rv5Lac5lV{E/Wtpqr26 +}C.'$:$hT;-셚1J7hW4$2A%UL5&f6FDM HKUoǯ6+3/om,v tIp|a2!/~h2&B8^*h%j$o_p8̻$CF|L8nY 'K- u;x@(kYl@ڈZC:bZѼpsJAkc@画пVwʋED2Ǥ[|x+0䗊V6e΀:]Gk+}yjPACJ==Eq(/ YYA2#XpsPJ)Vr$c x݀{;Zoa܊Alv(BUR> ){i؜Ǒ&[ l'JE)Ehe/eH\YߒTVoBfZq'-RScpw߬1&UZO͘ `>}N76D.Rk e&м0uKF ~QNe(3ΐ5w쪀)m._/LpbxWxIhʵJSQmGo| =`r$7_\a;7 nB IWXxRj$o'Ο'jgYZ75f7804ebf484a7e9a7fb7f777fba850a9cd2f43d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 C Median_Of_Medians_Selection