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 ''V9 4tD ]S Decreasing-Diagrams-II:threads=4elapsed=11.396cpu=42.700gc=1.296factor=3.757zXZִF! S]ŗXf[&=.c7턞JPiƍ,r%FE<#.7 BLO" H"z4BI6m=NNLL0[jsufÜtb{0}F0bP?=I/.ժe]_t]=*,gm576s)?sNL:4^I4,zXlO4Ӿ߸кu孹\gy0S <$p6C^aP!%53hAAZ~#G8LbC+FZ_!wnjщ!QQU4I+&غʁqb5(kךíxoZFrhK}wN} r[ϽN }}rm#A-";xOBn <0C!Nx9]%NYX qyܐC_,Ub{~6ΰY4l"*B]F厸F3>?clΈJ(ws9"pM鰴*{J^ 8CFcNXۖf3V X"O·CݲRHYQ։b>' @Fh!6pȈs+$5eRұ+X] fohy1&H-+8 BAkqce 'q4R\ XM\:ٴC]_>H\9R:䚟rO,%Rֲ,R(vpd>Z0k]N%=9ʧbTMEzoAɔ!'`N!N䤆\{-\PP9i7Y廢gt k_]ȣa)%Q/h֎\VE6|G#9KM}Xu1*R2uP2 L?ܡaڣ,-h{ĦPM2=f>6!F|(̱/4Z_HkN ^澍-&GCJFB, Ox(GN7vwO;}>F&e@{ϞQ)JR'K8PV޹to$ ^@6· gYZ6b5ba69f230e2d265424205773e60026b3219ff3eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12 2d421187859f741cd7498468c2a58e2215b89612 9 Decreasing-Diagrams-II