SQLite format 3@ .0:  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 yC T,L ]/ Median_Of_Medians_Selection:threads=4elapsed=11.655cpu=32.196gc=0.908factor=2.767zXZִF! b]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkO6ҵ D(ζaXlO%2e)YkwR9i+D Y\\NEU` Q .~ A)5_ {PНd&$( 10V|lj{oi]q_C edv"C~kSUp*ݤGiQ~AFقۅṕ/tM#wA?Hid!nAaoѨ-yl-teC*'&=4!J2I{s?BHĦޑsGeȴj׭lvV&(<SH;stKTJAڧט_D )˵Y]ŶI)Z_Fe` :իFejɺcehDOS+ޡ Ć#NvsT٘%f 0cp M`i5w-mC@ȼxHO=!o=. H"`bgp (Q¬"S:7a@{3"wd!sIafAepb&p]7,f|3cw80ĒU#Q8}/}]Z"t#Hxac#6Itf XeOԂm|v4,̽"+upިR(d_Pe\+G'suFHkNVJi{xVH} *Vęh]{?X?;? }_c.|+/x+l}GI@rO6Cs7ZK4Og@ 5Ț?v9®˺sw!v %G Lĉw!K ar jR(>ͷ|gb(Hl?-;$P{+ө^~@8Fm=%Q=w"B<Zr fpT,@>9/U yIH}ݡnFL9|=p7L6̃9ŪNy>ש%,f^f dacқ):J`e/$c og.j 0o \C ׶Ieꂺ,6 0p̧e(5hIBdc$d Pxn]vλu犰W]m*gh}40NӷQS,K_k2F hN}rtvus~_{b##c ITSgYZ0e47d073f91b313518468ab464a710c4a0de39d9ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe C Median_Of_Medians_Selection