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 EE8) tt| ]/ BNF_Operations:threads=4elapsed=11.120cpu=41.340gc=6.904factor=3.727zXZִF! ,2]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq*c7:`V(zF5L8|ߕf'E)< Oh!kP¸yN@-t(w2H8MVcw h l/V1Cm7˭?mխYjU뗢*]#€."l wjH)gTw HG4A Z6H: ;ڝW'{ Г^gggYZ7zXZִF! P ]ŗXi%B4Ȅnh.*kAҚ\ݚ:y.V5ѥvfZ0f;y.xl41t'i j掩Rxn=d[$3(1{&1]*}on@3ƖqE0:c(l9P̿q/UoEșyX\lx zga;;]mxh V}6q1C?ŅZɔlpqt Hk g|*tww>j}h*#[Rn: LfNpo]ލ!dcw xU̐5^3Sh鬴n-q Ny Y}!Żci՘V8T(84 Yѕo_ lE۟&DvT+(8K_cZ/.+D,=Gdp&.=p);HAܝGG;:kԄSi L nbQw~:GJ^0MF?N7A?[&ݸS3s_̈́IާWo2~NS-7ԩsI}: q\\ƛ6W:/d(ħS[)Mm C=(?KNgZC7h3n]_#E.:@2'¦6:\koE63?HFbڎ%:MrV)7A @u]Pp4vkԍ԰PsG>:&t4ӏiT=cޝ0?KCD^0|.&b5PDQy_)i;MM@ L* G ,G xB~B39\M<͂8xs—öOtJZ2y4]%[rdmGVIâzy-'?@еhF܈NN9cW]^2 am̓ϊ"[`VlZCEZDnX~r4:'ovզ<9 CaΠI7W=VTjLZɛH dv@ kjgYZfc2d38309e85778dd12b45838c1b6f216ff4fbd49cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d ) BNF_Operations