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 EE8- ,\d ]S]Relation_Algebra:threads=4elapsed=22.862cpu=69.972gc=2.496factor=3.067zXZִF! "N]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U߄mC }4?'u[:^X@eT'D|ѝ 2F_R 8s3_ 8=ͰW` &\?𞉪Xxo$c-lpZ,aZ: G+{O4P&:vyDhQ#jÓI ^o71cO ]uw`'A"^E @E|7yD՝9ռRw8T/ p':qiӭ¼>d6;sV<+~WSrG_5e+d|`0`T:Z0¯Я2s4h!|&Q}R̢  .wRՋ<"\N (;cΣQO`:R 7r9)+R;| 뿋W*$ysȹB>uvROd  ơ2ZfHTuKS+KuSp4p;\'K×yWGЊ[q) F6G,Y$&RYPM*tqȲ7bc|8ruHJMu̴2ӛ .Cl^IIM~>qYu!r~T$ am |R6,^*a@:&%G'W]*u~Jmł>W=]:&n&{9ޞE.gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%'5/X"ØکoP:A R-VEQ ՔO R3qU(3by6-y)T_]uVQP14eĉ?3a}K@F }q$PHj sb'W ACGEwlPF Oss|!DKv;2'ixw&YQQJ|o. VFH&jC8NjkUK-L-c)O"ԗ_QKsbz\V˚?:9Bal)kOSyR[Ҷnc%%}!T*aWnHcQtS5oy]jv׹46SៀLRrߜ:b43=8/2Ay]ZpD[-@HJˠμPTwWeuw6"f[ ycۯ.~SC\UVAP^"!tiwrBgE(Om@ǐ!ףgV|<YJRo-Z4]^2蠝IY_!5˽k|+nB V6V?m )IQ=mI$M5Qwm~`wMq9֧T_6 ?>HH%>b5N.zg%[ځzUCÂƤԻ~E;uU}&C[EeU 'Ҟ߿p Qq͙e]x3 h`"c c6YcZ ʬ"C LT=&4s>倿cU.SFN32AgUokԬ4vH{~Cl]b:O;;aV)" >񎤦54|x/T]*&d3> &۟Θ1!Q{=C*2ո/ӥ>qݧ?bx独mˤJD;g9f\(H<]nAKC.˲+`P D0Cјmv|RBRy*_0bexwOD k88l%L$za͛d<Io&>L?Xv+L[`_: fI=_Ԋ<d݇\\M͋O~ǰ l t!oT͊I@ϠqsXzrk$Wm$7f(z%=ERW/ݚ_W:@IaUEI!'%w I;)x2leiR7RKJ6>f]EoRx/Jf]K6*A/, iMֿIYTQq|qTj[MBLlO+ʞvLvR0XM|FgYZ2cd0502eed6399027bcf688c71e289ef738579981795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 8824da5da94930ddfce667ac17b527f6850d0fa6 e02498aa174893e4adef733015ea8f3b3a8cdf642e2bf6c8e54b6daab8bd226dcbbc8dd68ee639df - Relation_Algebra