SQLite format 3@ . BBh77otableisabelle_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 jj- < ] HOL-SET_Protocol:threads=6elapsed=20.929cpu=84.512gc=1.944factor=4.047zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'nIcd0= DvѠ\2|6O>cL+~7 ^'h6XOqR9~WNr=5nr&]ԸݲQbAhkͱ\SxktN^Lt "WF=;̊5 դgJzq{4p%ߓ@Sn Ϫ8åf?RreTH\\GWakJK0$&%b;/8^;)^ۜhk2S-;B |v+XޯTD?q]ZѰ(5}ebvjgLDQ_!m@/Ў2c`=v ؾG(o )^-`h1N<! NW\пH#vMC`1 Ʀ27.~ aҞwzhLҮ֡-b{opג8[;,PɰNNf"wk?p5%T?Xyh4*ݣg5 ,+6cGE6*NuFTi @-bGxH58Q>ozWaBU1m(A`$kә) ] ;lg\LF*װ*p{uBz[܍SòD&P۝pAԴvRz]r;ո$5$MHhwS</Ԩ1bRDgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx/;w3w2Ooauz-k]FQy$- BXsz$#xI(q^N.'$wNEEϯZȱ驲PQ҄!MF]J s&ץC#29?\f}!D9]K3dZ2z|gYZ7zXZִF! c];]ŗXi%94:cE_iv4 Uhݛ X Σ٣S 6⯻5o&%Z#/7rr|d\-62A حß\vbё I{2ыb['ǍZ9>?X՛@$AԯmԦ&n#5 bRVrT~j`BS;S' ۝$.oRÞ YXmmaX7ְ}0sN1 \)˭^ )s^pΙS ]n !Pl6i7ՂRRq6 j#UкLKhOSi8FOBW##;MYєh |~ckRmA^MqF10}}9HJ.Kaa 1I:5<o%4(W3s$^upF]N߷6{0ki l{ODrba[x.Q :pfO Oi*}3i2`GٻDf׍Ay