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 99D9 wS Stuttering_Equivalence:threads=2elapsed=3.645cpu=6.996gc=0.160factor=1.927zXZִF! Y]ŗXf1-/6vR[] 9*%fk^"i -Y3(Wc3!jor;u!.% VžzE@kiH ۟ѝRȴ e|N',*Ŕ ٙnmճ1u{:@DYVP "@aыy/Y_gld|M9?W>p!q4eqO]4WyobfH:ϋ×+\ʁ\d: W[Ȼ^u]mȾ`#˾?]cS0:;,tIvLG |Bfiِ/V\|ֻM\;du T$ 9N=#{oe05( ;0$>Y1. T K-'aFh'{akV fX0[ fRW1 kċսz i[ 9ͪZ#Ә`=3R[53U-JٜaP$t@DT^$Gs(`F iT>n2ojޫNjX)xmu<@5JigYZ7zXZִF! ~]ŗXi%s@$).&)P> r QξnJSCS2`Τߪ6`& u[{QK0u uJ[Ri|Ad_(Os?GXEpO4 APӼR> Afk6}+;Ghn*N8[[h299IDP/O̴۬N9cXP$ns]؞o L" ?HB3WR=]hUybMn*׽Y멣v HB#G,tm1俏KmׅV*͸)[ ͩkh3} ?hgq~K @'cKa5;#4]Wrg֧ʚ>BY=~Oa\iczh\w.U ~gj "$jh NS$1zn+<©O(qcnUçњJW`01'{vx,h-qFQy@W 9IsTJp [ˠbQga.4[Oufv29_o5 koMU/ܚR7mgYZ3ae1dabc7b8ab36c35cf101b3548665f4e63facd 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5a68d3a472b4dc7654f34af4ba47bdd150c34706 857060ed8c59d8e65872a569304dd512a8049f5d c8fc9da4a636155d4693d0f1f85cd40cbd01b821 f41b3316ae144097e02962efacd83afaa48a6a089711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 e6fef6b0a7d2beff208fad2b411aca5bc1d016dd 9 Stuttering_Equivalence