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 ]]  ,Tt ] Corec:threads=2elapsed=57.115cpu=83.344gc=5.476factor=1.467zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$xiQAh1JInzYRֈQ-\ ehX|] /U L!ԃ5$.ykU"Ed+s:3 ,x}琇6Xp'}0G!YSx{j\9Z'Ǝ1/>|SڹzkupD@…$N \ca<5{t9w&‡Y舤kDZɎvxLz>(]*ۼؐ]_y emasQzSW)씷E**rMB(n#zMZ y j$.I,gYZ7zXZִF! a]ŗXiɟ&zLo۳v>߁IaP_eBH8y a}gYZ7zXZִF!  ]ŗXi%;>Ϋ%ܷS[8׭՘OƑ\ي838-I?M.R)}UF^=l!أ07V[5D=yl_-`-Y&]b20/?&%9֕}`y/g_&QJܭ"ٛmcE% zU֦C9U(ǝ/0kt %yXX }]O]gP^ 웢=JAPV:Kk~dHv&+qX2DD>$FX[^`JTB$uSX|@PQc䶫vEugKl->lW 85vaVH=iz;G j۸L%:^!rz%{FE"L_pFk6 f6~i;M@)pN©ى m5lq@ 8Rqjzl~C& p(oR ԿYcD ӭt+_ĺW-/YłD/FZa {Nwj9后$Kݒ!0>>W*/oJ)U:OyqM?,j݈OSZpdISO mdci\[;@{cJ5>P+u:4/oa,Vٱ|WsMCQNbL9Z]=nw Ih)ʩ&bKTqQ0L$1:1:1Z!+]Y~i Y3SB vmJ.T j OF_ MDŞEQ'EqnGo+!192s0㞈)VK[Pq2ӉP8g+݊F_Fjn|T϶!=;x<&%9z%P4zLGm"rp|\[|ZG^=/rWW $ֵ%6r.&r'*|#cqY;}+hiU5w!4:㾌&_ruK#P aEWhə> = 8ʲ2FyAŒ睽Z<ڶ6N'e#@4ݑN>jc T]B͢hmv*8k΁ ͨ'ubOxC{d$ɟxt U8'Ebm0Z/ o N[eȘgWRGy |4.錄U?2 Kw]W-%a!]+.a,q&yм8Ftip s>̱gYZ291ff23c77e1a9a7abc7e16a8bc5ecfcdfdd31e4ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d ec788b2cd5e0544cb20063a87273ee6a4edfccd3  Corec