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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info , , I1|\ ]]Abstract-Rewriting:threads=4elapsed=32.346cpu=80.016gc=2.556factor=2.477zXZ ִF ! !H] ŗXf[&*%5r+=~ȳL\Th;% JUO4Ub[]K/jTZd6_+|_uCnn閷Ǜz%%gLAڔg>C1M.,U=}dewA n//?; V eѣhmNKdo(=N=pQv۾CoNN~KUBSJHůDa#٬jcpi z@µ8v^^9>fo\1֘u6oB[+8;N])Z'_F1 s`}F]ɗPH1=8QwR!I ~*@^ΊY/xF*Ǔl.mNlu*=JRcUUS'~R` Tt<!(͐'x.fi5FP1 S@49Zo;Ex'پs$U.+ 1c7<O y͐x 1 Abstract-Rewriting )%ˍSK!"p=d/,FJ@m( <<.kq(#9ox阺Lt;d`l3z4cKZZ2bo=A2ug6ht};i6fgP90Č綒7'q{U29X]V2JZAbd~w(oT b$qDhC!F!p2fҒqFJ?ZQx=[$[i3،Q#B[`^bud>5]"Ž}T[57