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 IC T4d ]/ Median_Of_Medians_Selection:threads=4elapsed=12.058cpu=31.160gc=0.916factor=2.587zXZִF! 1]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%bӊDUlAb,Ǘ"1dž:+J=iA6:a,2vt UU.3*Q!Uc`\ #ႎ9p4цb㸒Xyy!LEW2Zh#%^2),x@TQ)UU?ԾZvxPʾMX`NH,‡nkEK,LП_BN/%طv (an g!,EU1}Et<"b "BtHo>v,~]糠A{z#Eaq:g)usE?}ÄUxDs SIՃR-09sgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷Wd2[ޯ;giŐ˼@ʶ.}g⛩'ہ+yEYd8(??ω.c^r}.BHLYH@K!gYZ7zXZִF! Y j]ŗXi%B:g~ h oY&R M ,\A8. C S 4.2i+:F;k+[ "oVhMBbQ\ӉtH \H\3R+5Bg$E wNYYt^r߼$a;>27eu(`jh 1ָWC)h_쮰R8Tb&'m\8,= ͝Jwd|ab7PZL|K?`}ohCo#1٣LY< hDN>H4c+7bah65OZb*|yշ|H_1 ~v&tvE0vyeciN*y߀K3$6b&N,*-!SH>0AIAv?ymmʚ٢]JM@dlڞmLe-pvJ=P m Z~(Ke$6;N[[MA^'U3hj!#>uB+*ѪjԆ 99i]"dW18" (:N$I]ݠavnq5qo3Q V)-_67/MP- T*O2, AԒ6Q>\*ĩgdUQ"(!a)Mi#)hǪ"kfGyeMkY\"qqg'sO$F֜ `Q}{L9xrD r㰿saߙ|g;#OLBL0Z{Wjxh>-CmXƚ/ZK#R2eU5k/G:?{jf:Ӆ;PG\yY]1üuܾKjo JIѝyPAd4{OO])wϳ :ٱgYZe8449538f57f607a21ed8c704ab7726c42fdd64913f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 C Median_Of_Medians_Selection