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 xxC |,< ]/ Median_Of_Medians_Selection:threads=2elapsed=15.931cpu=26.780gc=1.016factor=1.687zXZִF! !6]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkw`~%YcVNa5!WW9WOv2*}^Jf)# )r5;7y[ct撥rPTPLvzջ&;t/ X#ZT9lzC3H90:`lN~e g`-O+V8"[&o\ ZEY/xW Y-JLkz6J[~ȡ)B;>a  FMV]38;٦G8x A[OrxMxE]|'=1d60\7Ύ vť{4 ȗK_1ks&$gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W'Ͼšk0g6CO[q|㼡2soxpk˅&"$.c.H4 = [fu|:tSjzd?|@+ gYZ7zXZִF! Y.]ŗXi%;:5w͉[y*.BUn4/fBB[3 ( 2=LXI[HDՅ[ o eFW${xpb4+9;mcK) X+Y|{J5hSUCJQ.V4/{6i2^ u=GS2 + _t_5Y >Ml Mksck '!ҖScIvhu*rU:O6m֜9 Sfh B2[Sj0鎂—]H58.?)zqbnA`:9[/%|)c ޹oek4w];s{eS)7nV /dz~ >*7ֶ/K@SM 6hrcK<6 832G pmXsv3Е $^֦qX4."𷤝rK;"v7Q`5OjXnRVAql\u,YջxJtL Ptd9(T5_uAL'Nm7t/'mDsdx^5#BE-51s0I`X(7+r)- ܁H&ԟm]>g;d<˒>21Úؤ"pu#sLyjņ |vjl%O.b=$(!>[-6+AGc&NUC qq̍T ^U$S![ǖ6lf/b~er&kSS[] DͲ0U ų{WAE1qu=A$e|F6>:`Μ.LDXgJu+-bHِ)B4A?HJTk,-K#R>"k`W9=I$_'+0%v *M6DWaBx[ ?')ȋ&c˭-oM_Z[b504L5 ̂0b bgL'Fa u״tB<&eH k iră<B>tM6cf^>'O%9|Bsd!|.D ]!ow,y*Z㛷uo7J sw±gYZ37f4b4ac74a1408361eb98d15fd828430ef3340f19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf C Median_Of_Medians_Selection