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 U- T S]Relation_Algebra:threads=2elapsed=26.386cpu=49.876gc=1.868factor=1.897zXZִF! V]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`E(}+rHujCGh!0[iQ{Xc}FV&"]k2j~HWb :Q:-2Zeϛ5gFM,3E@K8p"^j&BVmp 3s40l$tVlݬQJcJ,3Ӟ*M[ z |_E|Y f,kw9,z*=np3 8[nᖉN~H(,tUPe1)EM:zl"H:d?$ ϛҔz81y-.AXKjN_A(|di[v KKE;wdI6F:@tz;>m70Ccy|2}7w9DߛHTju""GD" T%N # 0fD!$d{>zK+p?ؘ\##y[8PX)MK FdgrjBODANj^_T>qp 䑮\;(-nT?~+K ?}dpDRsFڶ피>[|RZT`9k*R s)] CR";5 w~2ȵ gYZ7zXZִF! ]ŗXi%6בQe9m2-  Ϲ3n鬘wRbZ]Udr7F+*C;ۜEL=~ ؔ!?VQ QnXPJC\PkGDx@&8bbٞ4x0I!56!L^+Hl{!5&ti4ζa\(~!r MkvPQ'8`vSK!_pһ#RXۧ6]O_rqGo f ?*vޙms˻uvZ_$p5gf6?2gؚY]ks `śXh*\o0<%Sэ2u@@(^F1^.9%|$MwgG̸H½{q7e|lH/XdXF#ePp!t [{%S9?n2!Jw/[E`eTlş*|xP]$q nRHL湸ӾRJC9.BDSZ&jkmU^?f % {_̢ 9 Ɍo6nd!(1O( >XׄcDi%HOԎ$1;#B{Lz9g*y9# )xYjfEnP&Upw,Z Dt_y p*og(pr(x%aB0ѳK\#&0Nj1gW a]A,G[;- M\Q-IbU /n`#P>p's_#ť]si=knDںЊc" Gvӊ~<퉗cw8!Ttkn+'ӴBpFy :,KWIrpX)P2"'*Dݝ=Y XI0E :!i=\M0Y2t\\oi0x3wm#?ga:{ G}%#i۴ O s0-\ۀwΫFȩaZ{}xUzXE;2%,p3 u?T{x%#$g]mIe Cr{h|b+Bȵ  |$5;h Շ)NӱgYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 7b3d755f6fb4c09b4ad53fc3fb7fadc5db61a503 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e2e640c63dee4b2c5f82a3c2f1db6dfbf54869ec fd9cc54c27b597ae5b136f86c407036656d4fe7e238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 267c81e809c61c1a4a25e6188a1ae0cdd20e3e0f d261e748df18c33f1d1e3535c0a517ec959d51293c9891b38542fb12b2c07f81948ca4a638333124 - Relation_Algebra