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  +t, ] MuchAdoAboutTwo:threads=4elapsed=3.800cpu=8.784gc=0.304factor=2.317zXZִF! ]ŗXf[&Nԅd##[\=gu<[vQ'Sqc '0GN]%8:H;']K֌XUoT@ͽy-X_7XOExRd؛0lkqU*􄘓aWГ3pY j2gYZ7zXZִF! SG]ŗXiɟ8|g80L(>7 ,`3~{;cE\`voQcTP}YZ7zXZִF! )RM]ŗXi%Gl< bG20]vd4ճ&zB-[& Ί,Tɝ=c;QLx1yX R k:zͳ:gl|~!ڧ9L "U\=%lY`F &Hjœt\Q+3 >73%("ȕeqaÑ$c9 5erē(Z o )<71N^>#3a/T5L o6dYt0缥똧bBZ=+v^'ljh}5v"i*1k}O +]m T3¤gf{1_'GwܵqCJc}X`HPN}f " lqu&Bߑ1IVkljc54J, BE /-ra^k87TiO!v7ǐ[cőᓵJvP˅QRqw/!zwCĄc}/wgpsn1=F34y9>>U kb9oD55U脍@a7kTb '&z.n(p4pCD}<) Y萤F6߼EJ|WU n&$ea rH3;ZNUf@x[؅.1&Xљ4? )c5nȶ]3# Lc)sSDžĽAݙ`G{ȁo* ]"ms[PYZR&gYZe8e26533419a8508a0d050a97e3cc842624a8e301795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1 + MuchAdoAboutTwo