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 yC ,4l ]/ Median_Of_Medians_Selection:threads=4elapsed=13.250cpu=35.376gc=1.068factor=2.677zXZִF! *]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ] +c~)B^Ad;9FQ,*d);fHyVkן=x;c .%lmgM/9Ef`v8!˚vseyBhOЭBd4 ~:/0- iҚt'mBJFR ?idݺ)|X9wnƏd[c-Nhn] =\,B .JK"y^!"pCV\O=.GM˼%{c{%YS$!i*5_ԋ`Y q?+ p_Ep`x| ',q=: t]30,HXp9vX/d"pm}x,&Y\~۬;VKVeBj [sO]xp_` ۯޖީA@w1`|}4cx̒NηMǥħV& E`71=ReN4>Y]=xX pNK(&ډRd)ek: C]Tc2%رgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V; _0v@`&Pv]jwiڡ0Kieϻvef'=H)w:!W@b zx;mhؔ8C9e9-w\$D4Ѹ&V]_ԟ\5`Ѥ<~xZq\rzk4~8 = OFq]ra'aU”[o+ UV>{ tzyZbeٜ@^W#|FIOjsACD5EqE/+^|:7蠵 rQ?S375 ‰-+ 9hJ:UX.w)(J1>qG„623m#~)N:)^X/]uzm[ qfJi}_0hÕHo"KBt 9u wDuow L GOnr;1Nm]eQ2F9li0썭M}/=OgeضB,Rڪ%Eѭ: 2\.X{M;ℴ`|$sfowr5A6`Tk[ϲVP M HA Hb6BCn_e.&;8=۰SAॽyWW/iAE)h)Oa4s}! |A0uz ?̹Id;.}[R%@ GkYxsU}i27j!kɈ6;e*s>g >udװxfK[6>KwMFљuUҤ(H^Em&7țFh?\*R<b,D^+r^ؖcWZgcǢ,c| [OŝkѮPfksqvL.?]Ñ ^yC\r6>^YUL;]s ynMd̤PH׭Ynu4#~b/?.^e1i=S.aџ/{lwFNB 0l:+#;dsV.n!Y7Ư@wgt:J;7ڣBi/h39,dH5k+$6^vZ9wrqHNьjd,\z](SK;؆:&3@EYb˺]SF2n4ۆmݟ6P]Ǡ8+9A//uo ᇧ!4-yl?l;8t+R u"aB3ބc+N&iVKq{4p"3'nvF!nMǽ:ȟ֡\NεR#@Ya#`ϡ9!׎r&Pw[Fxz7Hb%Z& sAU3? Y0gYZ31d3514e20ed3d56011778ed62a25d2d11780631ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 C Median_Of_Medians_Selection