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 ,,QC d4 ]/]Median_Of_Medians_Selection:threads=4elapsed=13.317cpu=34.656gc=1.272factor=2.607zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? Z%]hJ#EŽUdGs"kۥ/2)_1+hj \SKJz7%(vu8$61m<Dtןizrm/Svߖ/FtQnǃ PlkaDvSUS)JJFv<-IO,#uЭyopNN[Fԩb+}K1GWQ9o1;w/gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W u7CSԃk}F,/M4y( jZ :kt8l!VLMIlr$>%Zg.ba5Y P8pv4@Ȫ?*TT!QXdbH@K!gYZ7zXZִF! ^]ŗXi%GV+4Tkw ,eoi Rį}~z%T leP6/pORZn7й?WSqj&vX 2n'+4TI))mXC73Zw+O0֤PFd`s߱O2Wk+|TّdHAp6+:{>o\ R_0v~z`hԥCt䉶}arpɽ7$9t;42 x ᑻkOw-DlA?mڑdԨZ]CS:UM_KW}ᵭM!!#:J@k mo9[ #G֗ Th;ݙBD4oV 1:e]47n'u*-!gZA%]HDa>Ɗ#HzaLW5a` ȋac!zмVZF V4f,v6~@[ #)T֋e\8-d NpqUmu U|㳁Kb$D0,xQfWi>Ff|( 1/ESִEFҜ ږ!aĸg}֝I=oG6jU 6D]HN6]DR[|3 'WNZi+s+cM= C+u+ӓg4ƝE!'9קit.ѓKFWTN?U0(O 0Vù&@\nM>&ri vDR`M6G!HqK8,n׷B>7 0{0{;CZPƌla[S:S)M<:EAv(PaE7a|O 0pP8 PX%A#a̓x1I@X ~934?vo>j(Yq'дݜr}Otw'2ew-weWKƛY?'?f:^ `FsڬДK!2ž5N>;QR\MhN9u쨄"O]@(Zʃ?|v(xeA,Qs|}%WTBf US7Zo&yaITa=7g+S* KgYZ658d4c615a2396a816d1641c9a452e52577e891a4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf254f4459cafa084602993a4bffa09391ed659dbed C Median_Of_Medians_Selection