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 ll tT ] IOA:threads=6elapsed=7.214cpu=29.012gc=1.104factor=4.027zXZִF! @]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K   R]Dz4l=<{:ҧTHmmf#v5dE {_yFSi'ɵ2 W?"0%$ x c*#Y{oWsֆu#cQz~&:!m׃1@1O{WH7Ne>"-:@l)<L1!a-12}VR ıҏ5s]nATa ܥ :`D71t]'X'+ap-KNҔbNva0RH\v80"8n;WS ׵Gx#IJ?hcJ"XVA86&f+]hes q~vu 2hp{P{p/ͱgYZ7zXZִF! `]ŗXiɟdN'LvH۹$?vYe|o{:\9uzY۵a-#z)BFqr?/<-h&<_5 .[` ߻Dppq1kQQ/?psa2k3=JԧhS 0c ?[Z5>->u4O\ KI^<*,gZpq޸>Oz'g|W s=Iu<*<PzR,އiD#9"? œe7V [HЩͮ!lVy+ Q;?0R3d^jXt^b(I |d&D=m] YFgYZ7zXZִF! #Oc]ŗXi%;u #po}: x>MOOh~rKk4ے%vW3O^4cpezo1u[[$]$wdfQ6[#fHڻ,\jsmO6WoWFεܦQ@qDc ư!dSH\PIꍪDA?lklA`1az0%`{-NLE37" }_qg} naxR2Bz48܀KM4[/84[v:. mS&Xu~^;ɷ}A=Aiv4rn\ݎi=:߰294'lyL}>?hC gsRghR6f8Q- 644Fn8~2.0qQ?@B)y>u߯}<$nf 3$ַ oB3R[֙WoF[9=.ؒ .юR ~iK&6*`vMnpvahu@[aw8cpKɉΨ;?4=k37 mAl!VV:2xWnGqv%0Jp6Na ŕI76 ,?<6SnB $D񺩀eWO[,L62d"-hT l*wrYFZ’gYZ73ba2b63b54303cf2faa5a4d320e62394689ce5133e372010bd93d78618052a88797c5afe4f11382 7daf0c8bd7744b8053173dc61bbf05acdc7970ef e294a0a09befd3f35232bdf9b86739ee6e0b88e1  IOA