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 **S/ $ ww Monomorphic_Monad:threads=2elapsed=20.427cpu=32.004gc=2.044factor=1.577zXZִF! M]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdצȜ#!.6_98Qb:oˇ,XjBi Jb)2m.XkİE|MYq~C!@ 6ގhfH>_aԺ2x:OG-O A`0g:3}̲21gzv=u(!l׫STXɼ@gYZ7zXZִF! kz]ŗXi%AꪂDK $ɧYvǾ~R< C^sk"+,$Su¨R.lU:KBP Nj2C|u`JR)qf {IOGenc u!SƗsAb‡A~mkB~9 Ty.[Z]ʳ=% UDR.Gqll M^W)byT'{wׯh3Ht=.xdP{nù߷R@L,geBKj6-Y#xĈd؟OT*7a3ߧs+fQz\%43HT)J8zu'J/DoS)|ա柖#̨y F OV=[}۴ijzao@I,7]{bN+r[?w"g:5j-<޻ PTQl Alz*:$뜿Gs L%WR9qd(HNoZ ;^0Y kg>M֏h{NJ/1C :^o+q݌m*O 6j i:} RKrntњ3l{MOPcFYP')O.*GT<ҝ紮';gb٧ @6:'t{U(RW',rG$&l@(4IOS`AB ypz \)8 *< 4?6) F,3^IKt1i֘%ɹ_m>ӵ]lٶoiTudePx9tKs