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 yy DL Y% RSAPSS:threads=2elapsed=25.148cpu=47.228gc=1.400factor=1.887zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X#G̑&DEUp>+&b ygξpbk٠NJd/m<TK\nb+~P㲩 ˠnנ~by0[g,&TD=F> x࿠3C* Yyr5$Bɺ#=GPRB_yY9%V-!P^ΆJ?XQR^ SWy%tj*8nƕrgr87.dP +tC`f*#:or{GuačQ+Īեv_ b,l/F\#ņ+]ry&AɸPl[ OB#vuK%pt<'鬤X|P3E@B1C9P?34^~8 6~kĘ%!0K̞Vj%oD4źwcb+5RxȲaiGĢ_[[?:Am(+ޛ|$u[Fbc ʶ -kgf>jmIIK=R j3-A2GheIfԻ1YgYZ7zXZִF!  ]ŗXi%6xmc˺䥨21\\0#WG"r24%7ޯf6zZaN#mFZ} Rxw*-e;|3ؒ9}@rNyyx'2 ڃ+m dv n`?/^9@;)wd:IoT 5)t͋p3Ap|7Pr@4w?D/ɶj6^픵̒ϥs\>Ô:]<2 $z ƀG8fi'w{04i0y5|ӤjE|/j܉jhc[8)s~ER7wV#,E3 lݖl+B!dgVhC b5FD2۝*Psu'/3'ְ̔L<0 DLO{AZuړא%zOX@f߲Q=/>^(GΎ| 0]o,l< PFDu|_0X8 | tg  NԒhXyGYUm*B}7AoXRB@Vkwfn /he%qvu$*D֎t-+A kqՉ$k,JN1an Q 7+sSh_ /@D@eD,YQRq? h SU=-ʹ0M7)whp4Wfqq,~z%#G؋­ uYZ39tj8Z`& F,l`exj@Pm:J$mtP]yYs*q %m*\緮31H%)4<5+s@UgbE_o}TĈ"[M V-9Yw CRg\\Q ό0޶G&Ck/#XC? 7^[%Ew*; ;b7=$ǸxP}v}]P!z Hi68R0Qɨ{ތIB@W[uՂu \| h߉vC7Z~C 0̯)c+ Xó pD3\IlLSD>O礨4rJҁk4nF C{8rdȊ:?\"9' = A_$[TFCwiP,|)hh^M'maֽPүۀ<CbYdqB*Gjv=&@ P~=⻶ N~Yg5ӹWuTf %&;-U\ʎQvI yw.J hrgYZ01bfe85db9e8e3818dfe10ccbc0c99d937ff1fc1 1feb34bd84773d3cea7fda4820d6e1939dcb5480 28af2a2862bc29708ea9527d18fc3f1020b5ddd7 46dfa43cb6f20764d1a01d2996aa51a76ed494bf 4a5fee3afd1c7d3f6312954aa68ca5e73ed9cf81 4e0bec2234688dc8c2d3d96cd7f2c1b5d5f5a4fe 58f14861781d1d9b69c9140cfca2b2ec914b44f9 66ede1d431d0b97a9ecf949112be7410a0454d64 819f5f06ac7954145a9fa92abc0f031d2ff51f50 8c46c52188350969eee9f7b51c8f59d5e2cd53d6 8c8a7f58f485ada2581ef3542d0d5b85d2f3f3e4 8f9d4b77d3a909690e3c323eb9e45a06587dba10 ba08050e1822cd4e12bf78c2f2c32f5866d2cef1 ca039ebeff80492e3c6900e2b2f61d6aea027f4f fd5ab7abcf04621d380e0e3ef5e15189f11f15ea554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd e00aea6b6905dd384abc040a89be9d56cc23eea5   RSAPSS