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 }C |4T ]/]Median_Of_Medians_Selection:threads=4elapsed=12.341cpu=31.912gc=1.268factor=2.597zXZִF! v]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ] +lSݝY!"|$;ϣ}T!ChS؂)!Ra^']e0uJ 3ZC &L!׽6g]wkܵ]Ѡ51XCz _3T/m(|f8aE?HV:UjZ/ʞ~?di3' XOBF S=1:U{e9kng.vh▦8p"Zy? -J'< I }2^Ϳ>F^Qݞ #XwemY(&A> L-"*}#L?ާ}Bf)so$MC6H/mTN_)AgH:hХJ& ;+}RXY$cwE -V0K ^q=V|n T|/;:̨}D1+ף, ]nz qU̶Wj2cb/S`w@WrG'|J*eC *֐ӡ"`do{4.φ5gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V&7BY:ND5i {bcFGnNϪ*dֹ~v9 kgO3Օd6B39Up awQ2H@K!gYZ7zXZִF! YR]ŗXi%G̉S;?׬F:zG2Q:'Bm7\ - |m:L@sB!lRs]Pѵ!)(E ^:MpL # G]2uΧnAj&O蠫g?"x:v 3PQv5Џׅ<#x yev?yIhclbYW8@k?^EMyQEȟ S8jxh0@.0E [І[3̵Coe_!gDמ3*ӓQ! Z.Ӹ9m|hfkHGot3l.E*;Y`\GSwA` I>o5#p/fDL@_a/YeXzuz+GL=H4x0;܋PAV)iE+{A7?=vtlғBx[Ydw^k M;y@w5YugGh5ҽшeQMVgUkyZ7N9p=,h>%8CR^5l-| 2^g67V$gQ[D>>mW(ScTIzU_ [*ieBo6H%kiɢ/n3G^7T谦\z`3>"*&sX-GhnG_ՍNZbaj@a!.|(9$}|D}s?~dEv؂$%x&V_HTo3/tsZeCi(1X{Ui tzD39UA<;Ҩ-X~@`0]~`kc+wXޡdC#D77k%,)cg%ڋq A2 h,h?nמއ0VN3HR n(݄dOý0.dOhbϾXѐwM₵t Ӳ!o%gYZ9b0a40958cfb14a48b6501c165133c03f39b573678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59d8b39cef0ca2d2033cc5095b6de923ae0682e001 C Median_Of_Medians_Selection