SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 HH5-  S]Relation_Algebra:threads=2elapsed=26.845cpu=51.184gc=1.876factor=1.917zXZִF! #>F]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci'1hʱ]ʛgqׇ٬/RSFmngq:!AݣRԝ9u.YNHYR^] ¬R@%6(J UM$+I}GHQ#K{?RJi>4r =dz=8"̞HBl׽j"*̏rTH$.%XwPIrT@"|tH]6d'ul7|3ExӔeH=(MЁƛÙUkzN;nC[-,آkOF?ЏXκ͇4R&2 }*Fg.x #wLe z"9#_#?k$k#~uWd犘獍udݺ )=P,8-g1[]g{6=F.-'RevbSs>&ˈo+rH6&}m6ռ8whW'i ^| ඇFJ4&gYZ7zXZִF! 0]ŗXi%}v{fd~u5d4՞7[oɘƔEܛ!L|J}t/CvE*e?Pd]mːĂYm50oDHTT, Ug/#fwş ZZZuDwSrD(̍cpQ_cM:_|oѳ  ?f(rڕKt~Qca3s/;n\00VƑ1ž2eS"RJ♡4yʷ5dψ^BVd[--B^ZAƣBhWJv|+YLO<P-vjX'vvZErkvFM\QJ`ӈb%| ˇN.;".FտPЙѽ}BoFBQ(z|PȜѤ_Y' ֪א>˕A6LP+=]:WF=϶஋ %"Bt>G[\Yz X,>%'^G; +*ބHp\ԃK etPu@R ҃)a;SmMb7cx7dg>A͜vtǐ1QKۄTA¥^ t}3߫K7Fad&}.a'$e C{Y\;iis ю f5+Ю IT/".8 zK̂cԭ׾Jx0<9.bj:S!T6tzN@t=AˏE+꒠LL@a"UHmT3J|IkI>~Zlذ*n2)N}m }G>Cy(uYú'/8PN>;w)af>86PrԕOKX'~N zMlX:->TW&+_T^ ^ғջi zyor7#[_UfDv9JlS.Gr$yf%}"ӲtOyCLjŌ#hɇNI ousvAK1baKPzAC;k x2aտHpT>'yNzdD`o1 hVBL0߳+ζIF©0ك>_.caqF2m$>Ae\khw(;%JJz"%BE5jL|NW!_CNEY%tSk:PtuGFƋK v<\H".0Xַ4 9bYj Ԏq^iB )֯M0a9NG$G!G k(͗<'LSx]5| dRz> ;Bqr^*nL=kBibiG$၁~|IlZwI DlT7$7uT#RHr S "mf4Wa AR81B]$ʻ zB*<m9qU)OEL2uOwӿ6(BlEKV igYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee fd9cc54c27b597ae5b136f86c407036656d4fe7e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c92082 5cbaa3bd75cba9b0ebf6015b046778e2683ea52a8fdd9b80de115a4810060eef853a99f9afb6a6d3 - Relation_Algebra