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 LL1C 4 ]/]Median_Of_Medians_Selection:threads=4elapsed=15.464cpu=39.700gc=1.484factor=2.577zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk;>^vz+mdc !3TKrSGuEl_t,TĚ{aʫ݋ qbqV ́pB[<do_8#--w90I ⵪f۱_dw8/WDx2$'7,ըb&^jE` ͵#3:w7BI:q 927+6>,Kh/eьzK*zK?SquMKlF~ُ]T6 7c6"Du[}R7&j~o]E tM4w0 vף9!kM\4U%#z 6eqmF&Ԉا(ΩmEA1Fr23NSDE5S{-WDma'\S9{-C 7/dw Fl?B=]"N6[N٥.f-=N7/g9RgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W'p8Բwf$5ZK»i>؆iJ1mf^Hi[Ni ij 3CZ? avʞ4Q_5gYZ7zXZִF! j'G]ŗXi%Eb⬗s9jA?TC0^[H҂ d9O0C;Kߢv!<9::MՅ`?Oq;Q<-jfܧX$y+: F_48l-|L59yJeURow@F/BU KAT슺ViY "o7,#\|CYk4sIϣ4I5Yhx=1Ca{qsWYPbNpi{R|Q.ӓXy}O=Gfgk`ϢA[iS L~kX;5s5A#p` }yHLJ0-t$!s?/o)5\hz[RThI I3lj߻2pX[7O[(7ۍG7SDh1v?{`w,*$?;̵&.L atJggSUurGjS_'{bK<JUwuA:\ً0K);Fw c0uH$}溰&5u_J!(F2*6sWSzx /Z3 iu+Üߢ ZTsB!tG񂵊aؼvI*'2<:WaQз+OC!QUwӊ?rokz W[OfG%/^UiRL+rP]/>+[ u(^gw dsher֌o\"{|2I1#ΡfM YӹkFbI!˃N#1bt8k-˩l35&&d,hԖbz5͓]XYF$]./iϳ(5pZe8#fӈp l7=HZ3FZo:d7uIqUˣ!AG!X;8O<.$؟=7f\jٿM3iژ%|0eC;jK[8(KJW*:%Ov3ԓzr쑈_{V -L9 q ;\a.ٌ 5FL@DNc2/]{?Ij--&p4Aa#Lxj }kA~Uq'G\IH&]g(|^7u|X ٿ%uP H/T^G&AVBEG dRYM|˙cY4YDORPk."LENU2&2\>V5TޘwzP@_A'jvme|x՜b0?:ބ5\BT~|yNLy%j&/5NA#- j>>D.ЃVg6Q;\EEJ }osIk>`[JC;Hl2_jlܳx %מgYZ70fdd031ea97361f3274f2de15c3ab64bb95f6fc87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f295917e53159f95d37edaa894241f94c8924825154d14 C Median_Of_Medians_Selection