SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  +  ] MuchAdoAboutTwo:threads=2elapsed=5.184cpu=8.056gc=0.224factor=1.557zXZִF! ]ŗXf[&Nԅd##[\=gu<[eKS }i)5ֿʉ-Ʉf NkCKbiXtW*zR!' ȔCYkjd?'υA'ev-^/)>d$WpWx$Ep}K1,-uCgYZ7zXZִF! SG]ŗXiɟ8|g80L(>7Y x5 ɱ K 6fey;ScTP}YZ7zXZִF! *?]ŗXi%>gFvoΌ>TwaSMq5ckZ +Wp2XVaĚK 7 ŃoTNq!bGM^5ʱ7`}-6 L:iByM]/gڒGKf•@/h ~3LEWCECP`G!:o%-rEG@ u-OMwj9xgheN{A{A,_ :K2OBa0thWF>=  7xH;:RuJ2#tw_`-#L,WϷm*#Sa)Y_F,\0r ?Bcn~C,y;ڢ!+T_zNb]u\@TG0'+;Cۮ )Xh7jjSYɪEӜE+3DOx*q%[S*w"CHwtTA To[g򻿲ۭicbUM$e2%W ?3e/DU;hgYZ92d9e2664dbdb78efff95fd1e651b9098dd9a3ef0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 + MuchAdoAboutTwo