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 IC l4| ]/]Median_Of_Medians_Selection:threads=4elapsed=12.314cpu=32.868gc=0.996factor=2.677zXZִF! &m]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8GYCF0} Af5%Զ?O-yЌkb5N[@[|ղN*Z3=c ΎU`17O4PYH-QTxF&oޡd/KŒ}}nz(őj q L~4Gl ֶ IZT͆@ y s<l`<fiyb(a<>@Z QAERnk,UAÙO:7"cm"YԎ2vtNjFC&@)K(?@"!Ս‘qeF J87f$$XH`k8yc=Z#7lJw%h !o^5vNX/Z ^ T{1eٵXzbe;B{cG 53.=ém{L6ܚ_M9$;M7ꎃ5s5U|<}s_ z^]6vr,g|%F*g.TeбgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V29"/NQw">4gSAZfbX={cֶ\j]R SGb}WPc;qxgSHD"5.bҎgYZ7zXZִF! ^u]ŗXi%ES3# N:V8G3zn5)W&"a5_8FW+ # ` Px3=F;|8I7Uw \Jx^hK=xwٺ+N\2-{>wkFN_4(?$iSۤ`a-O~d\S)=$ns DҒ1A8|ns GzH)^[:GܺCYt=džzsPe/bŢ?"DaUʴR5dP/=s4AT6!`K".CcW;dQc.ºuEtpD;﹟s {ꂩLxk^5}p,'L "Ԉ};~(D"$s4t[&X{GWZwڑ+t5?U/9_d ]hymMӎf' %2C0e^HRf L{2nqt 6U!1C,eaZ?m5[fk'WiS2yTOgd!F9qT9a4K %m;ޝtYG~V /x+ 臣)%&UHkH)Go$juxɓSI-]y&`!eM˧Nka:M޹B3XQ|*'Ǫ$$5WiuP~AIChµ14R/3hȬ&6gb sbSjYvV)XF*C(?(Y>$ \ AC0Lbԭw%4E8ӁUġhɴM +{qq3+=TO%v]'N*+ߧ о*05F-G@&`Fnןn0O"5W ""mW[vOBcE,LR-1jM-!pF_2wgʃ̛̿ D(so.H.d-?&B!5@dBO^K=icn)~K'[N " )H4^h0ZWMRe`.{EQ]mWghҟ̄xR#敇 %0JVe˸)PVH*rmVGB`.AܷчngTc?0APʇm|\_F9ܼ6#O0+S:KW V,C,GXɅa:%;w![=2~I&-ffzOWVO]) fܧ|}_431kQ?̸l'q/.R]2S Qy`(OEjlW̨ ^MP}shYʯtKC'bELEyK ŮY|H`BFV>Vp* ZR5Mi9,݀L ]7T !ıgYZ59cdf05cc31aebef880daaca36a98a8a20d82f3c76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b5956867f05decf74060bd53b8c85a2d4740f514905266 C Median_Of_Medians_Selection