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 |- tT, ]S]Relation_Algebra:threads=4elapsed=19.884cpu=59.668gc=2.292factor=3.007zXZִF! 3]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U Mxڽ 1߇jŊv[b|~*/&rZ=Թާ:*U [Dfsh;6&yrnysHQ?1KOȁg.^')F0LFšŔv !FbT  h O e{BUZz#Ȩdʶ]|Ԣ< !7}˯BCr|بi]4pb.I+Eבsx+|ŧjԞpɎ q1[;Wz+xJ*0݊}Sj@YzW$14(^(!ۃ1MVts5IG]*ܿ?B2_nGã5ڠaxˢ{P#l]aqzTv)MT Ep-ˏw\Y4",z8*+W9$%3q,hh ]X7lԍfhInObp #IGݬY*<҆[Ҙx4P>5uz^*D;ӷ5xd#?gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%֡(*P򑊕9MLs/M6]_gK}ab#]^u 6FFԔm} 8Q9.WնRQ__:)PH}d@iȄHb&ea2:Z3Kz>bL|6>V\D%mrA}_,gYZ7zXZִF! /]ŗXi%B:f_D+,=BS ?}1@0;8Y7Mn^RGpmT.1_Õ~x&b$\Qg< `CBx'<:+ן/ƈFi ,-XUm@ߥp9WǼKKcmU!z_$ϠɲmVA |PvY2w(q7p@Л:S)Ƶ΀Rc6Y mm8h5|n'PB5R"#k^{dKU"6U,RRȶ5 )6b6`e/ 0LB77^De`KQ#c3 R:HbV4N (OloPӂoF 5+~MU`+037WLzSIh+*U$PI&+|ϝgh46mcEKJRwKnd?Q2R znTnkC}ډt|IL2/2::]}g ZSTpUУu +mDqyw_! u qVF@@EUKPΰESB:Oh pX0n)R^׼ā>~f[+ [>xwJVc fLGF7:J ´@{k~DrHbQB-Ă1N߫u#>tػTwq`n,U=Ҩd5m+[W;b-}4(eXO||#0{ $"m f "LQor0E&'_2~ELݒ)+OPq+U薚qdA-whf\ I 9xæYj[{jֈḩCa3k̿K˒ fkQ+۾<1aU"U=;jK"3{\IƞY, ~u!kbHFG6nT #2&P xV5>%+0.`|ç`hyhlcɖ"[ ; #Uq`5F|t[/7F]4n,gp:6*o&Tz8;Dz#AkIZ!ti^}h$S[L~ڧjꖫExYFF^r,ofԼUgS[T YlV+Aj'Huq=qB$P9;<[C\|b0zf gPz ΰO˄Mܶ&0S7kU( c6?|o۶%<2O?FЯ,e&B it˸x|ɨ$ȭ-/9-Kk#Pp=R=,z)XXo^B\7σZ)@}$2.4chAZ순bj!nW-7pwvcCpɤyg4gKE.JqQa0*1|($onք0Pax0![:Y`LUǏle\[e.^QϩRF*1 /1+No:jhO}?\0pՈ YF3#[rP+ڲܖ#;VO/B^FNG\xo2$ 5V7UPӗ@Yai^\ S4+yVS }+OAǻH^W?+[&랸0ۛ_A!gYZb3196b67b31dc32085346eec925ccdad6f65696213f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 32278d70cfbeac9283aa94b7cc4f87ef5ab4effb 0be4339ae440523d48ad1b6c6881fc29f47408f9def2ad93798a8887c2b6900058a5f8e86c21cbf1 - Relation_Algebra