SQLite format 3@ .  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 C 4$ ]/ Median_Of_Medians_Selection:threads=4elapsed=14.065cpu=37.356gc=1.216factor=2.667zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlReh/ZL$ڲTkwޓ[ DVoaܬס:[su%h)/$zz&{%l6ԚH@K!gYZ7zXZִF! dR ]ŗXi%B 7e.X.S .kg:o9qrc | )>EtaZBH⯔ZaE|/7 #=f@Pj([d 6|n!jXlqSlP*+0QTԦ1Pކ- 9_S_?aPFQ5Ã}a ? dV0Q1l2dr {s::d6s^+usc̱?s&CΓ;*|Eex!xe!Kt\g1 | &|g@h&9۾[QJǑg +0, DkoM_ŨBux =6s쫻+|)^ruȬ, 2֚vsn"iHw#Lˣ ay a|Bj)RBJ k#9ky.mg Hz"S5}u^?]'_ѻ2?:YRzx< ~#],z%ڿI9 _I@(Kqz%u2|u-0!f)+ s&Ϣ00VL8 3I3/cBdZ5F(&MSA;7wRJ&@TgE9T#^{N\ nɶo>#!3c7V)t]v~?B%ez:r_e1JvѢw^nȭqdDFpiֆsW=F"HDYGL W,1u-OnxP ywȯbK9vCD"4"&f`u:5n_ 4w\X*)&}$ȔV8YC0Sp:aZhJˤ"|پ_è;I&Kl{E$u! @.pX:-mX/XOn&F/͖5RQz1EXю$92;-v|#!`qtEG_dYExy-u2kÖr,rcyx'J-o+p4ZI D=-'_[ȪA4<%هU)#4ԯ#MߴrQC=cy4wĨt DxCC-IhjtnNH0; fl[&XqIAn2|W #6aj'"|gU"ܛwsG#JwzYdY.d/&" /do줇2lrҎ8q% ,bE"3]`[pG6ǒ1l;gYZc3036275b4bbff98c43151e610f174c1853ace5fc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a C Median_Of_Medians_Selection