SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info +,t ]S]Quick_Sort_Cost:threads=2elapsed=26.337cpu=50.536gc=2.636factor=1.927zXZ ִF ! ] ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;:͇:|2ry(Z>`V`^$'W'ɔNtƌO&uB]f`߭-;] U5fsd"yF82Gb"-&t3d<2lNަ35ĻRG(8g~|g^3ڽZRjfNxz\fB$p`Z*ۙ B.hcKn^~QF|;Uspb1&`/ؓu2 4Y0m]}]k}wXg?/+W-I:ʂn$8le%j}]CA mF#a'F=^yo4b!8w Ud{pQjU.Ciq ,8;t[u20qO G.wsߗ:,1:mdX.1_9߹>g;fNT,U/8_2
Ң 5_8!jFUSe
dޘŕی+9\~| k&х͇Q箍%]D`-Y}\POޣ
uaFl -dFh!.XSq ݿͯh2 }iA0PC܋tT)QC2Mj I~#}bi4P o(l0 = (g YZ7zXZ ִF ! ] ŗXiɟc'od9m1)py\n۬Jǀ+S
:)7|I,{@SJ UZENf0Z kN`gxS3ɶn-ŧ)٪)ė`$gLZ칽g.G'-Z