SQLite format 3@ . BBh77otableisabelle_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 ,t ]/ Median_Of_Medians_Selection:threads=2elapsed=16.774cpu=29.484gc=1.224factor=1.767zXZִF! *G]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jT_g"56zbQ,U-mE%K4eW+f- [)]#Uh0M~Ai&tJҥ5`%#ȶ xG~HրT>K8;+ :j{geQ CeS?>RIQQ\ (B}kmϺM璈׳9RMvե K^ *#'HeB1j|J Տ(|PX,tWJ TLΠ4D3? ƄSn^ $f@[A?`P7?[_2hdB,g]uVK %C$RRK-#?76jqBQm. zz 0#z«7" zD FZ-ĔM+MK=6We|&*d-< i! 8*F gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V#xNթzh <0r?6H2颥:P6lTI%<5^]BR$ؿ%ӹ%F໷J1v8^S`nK.eClgYZ7zXZִF! ]2]ŗXi%W~TȖ6Ϡaboppd@!,͵d6IXzb1(L>5Ex0/BP~j%MP,0]=Iͳ͖+:96ѝ^,+70v (w#AdH (>z=(BPb:z~@&H4!/g{=<Oy~d+?r3Hd%&eVY8ksU߲u,L?Qego`Zdεy"dON{yxRFkFeۉC=6!l9 si6ijۏ`Y*Yf^%SxOl4H̏?xhgd1A $O6qk\%|S_wʠ=[f+] sS_Ymє By{䵲fQ[g4f;XDJ}uuOf;4jd$=9pTI_`:{~׫%T?] KZR0[߹0Qe"u>sA+Dl+!ߋs#f87<3ZgҙY$! <85ޣsT4ofLV [DaG清"%J'_Pk Z׶*t"q3,6n|VSS y)#*K:_u:nɶ%Вlխ<֘%z*mQ֕{zC=\`#W&8珛&u;U-;a`ucp3zigм[=i)wL #Aץg/=tq6w܋ff.םЪOB2 tsRNĎ?rs?p f?|лM6!:_xp:hc|ch+X(9tFo^?U*sT  )0߱;Cܶ ٝ&PAB *(R&s[sy 2YAGG$_)^+)EsKS`A/̡xb hyjf ac@԰%tUt%/Ŵ>:SCʷtE&@=P )H29OO` gYZfab900ad4d39b38b2042d2156eaddec72edc2073d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e C Median_Of_Medians_Selection