SQLite format 3@ .  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 <- \\< ]S]Relation_Algebra:threads=4elapsed=24.894cpu=76.824gc=2.980factor=3.097zXZִF! #rg]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U ]D4&WOpOs+h\$%mމE6h~-a]fixX0~Tz&#Pk#gMwu/jM{K*,FA, }Єm$,_A˱'{J0|5,1ܚwe&H iĪ5bf hx,̶̟{G4qsG> Ѩ(Y >|wpK(Q&7 x pKofzr?,Mz - Relation_Algebra  C @ #p :/-Y_9W- BR6:zs<)o* ImXBGek XYH&J &^m6!,03Æ궱3id ]oP S['+gG1U8nJS¾镫rfy> ˪BHv17Cvnp9W(6NܛkL]Z nwX3hٺ$D4K]Ыbn_P0yD&gYZ7zXZִF! U]ŗXi%B t_?EH2$ tbk`gʆn(.JwbA" N1/bHb7X͎Kl٭LPKmc Ez!Q}8,(e2$xy{fz1i_iכ!G Dq,Ve[ˢ4hibFӊE峁)t~?/d~M0>)ךn< ϑNkǘl@&[9|ufxdž'{ݸܽhjjX D&"~dCF7,!ML̶0",o83/a+pc$?ߔjkm)xK:}JwbW*Q@_A#M 8ZE7 },R>Z19'? # ekɠ./Ctj (-59kg<%>) 7XޥIJViYE8 Yr7WCLz`+KN ,:F)*󧃟)roat}W@- [%N zex]t!3KQrίh#O ?(=9XzxkrI#憑bݖr-7Y 6@΢3 yg<{>^R~-˴)"N8\4ӼFܣPnN> [{^ooߖ0LF%FQ ) d` \n!rIpySGE}*|c"o"GI!:΋ߞE<GχQ)Or)`.0_EFWZ}h)1țpgg+ۃU+sxJ$ilT:fw:6A l`dӚ? AWk~~Krtk4M:#k;1P9(gFOi4ѲB/b KfTn`mZwʴ({ߑBMt!"h_(t!ZmcU32̒SBe_+v6-G4;2N;8 ̤':f1,F͂QJɰC;BZy¸U'}$'ۉ2ٜ1vӲѱۈѴ f017.I03{kz]W׋#4)"n7E9 9eAGi͡+!x'{OI(WBDQXӣ䝣 HdȔYXxJ$FB|cc1a<=8D\F.m/bٜ|za?4"\Kh/j~߃$=eDB0vۯ H ']S5Ck?laJsq 4j2ʳ(F)=w2kO -<f) O9VBXwU /00 )cn H` d˜!(hx"')OdҨ a]Rq5QY9kKg`RYPt3^3ټݙ(D;u\|`EA r&nCW|ˀb LxÉT(Tn̆B[vn,/;4-}D>KyѢ΀pR5?Ǹp߀x4^&wP?b%J&Skrt}~mF];9a\Y3 y֩׀wؼ/bzLte* ` iXy]F YNMk ڎ_Lf%zɎPG*tziwB+1B2) ь{D}LJ멋Iy{DJ ΛN‘v#چA=N{g|+=P Eo"MHE P.󦥌s`l NT۶1 [;VE~{PK!87{;zR[j!Pgb0i a5NI򈬮CC@ezM^8c1s7r#>67?ƭF6@{5}(f [&.t4`\uqr k: m,ƯPGRR{TKat"9uѰaA×=a0j Ó<@ 7;wZs>Pf f69`(KOW,v~t4y-D#+[jgYZc771107c572e1589ab1750d8439713b6abb82308c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 8622854548ebfa606d87b757cbccc08190464127 46ec2c2077bc7e4cbc4b952bd0ece1cf725384860940f5ba5baa93399db99989e903407ad560cb7c