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 ' dt ]]HOLCF-Library:threads=2elapsed=14.908cpu=27.392gc=1.064factor=1.847zXZִF! F]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!ImNTo +.*K :0uTrTՆu6O1_jÎ(AQ6'[g1'=Bm⪍>=\կ.z)əsE 3,, XgK6xAݧF$TL ڌ=\g.b (iTZoY OZ] 1OPŒ;ދGVvN$(C-XroV;.X5cKJYn>yVЌZgFtTZ9"A}gYZ7zXZִF! 8k]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0?R+nxN`9 5*q|#'^y'|S{ᶸj¬"odM4Vp+jɦGU:ma5 b58Nn3ϪԤ/ư#ʪ5ҕLOp'/P-M p_ '_Ϙm:kp( =S}[uHȶFtGT (x }>YL178IRW npCKtJ Vt[seW) (ϯWjHn}7H٬.[Z\͜G: 0j]In *P\Yd;P~ IO `Yw^^:kp27y]b+L㦟7Иj y'LFZ|#6@ÏS","jd,#_䃂޿rX 31ỷ))_ U+E D~r8qH٤`4 aBƤҠ,gI0A7aWy7| S,$t̂R/du Ζ5zbuB>JEiCf@ :ZfT7z'noȑ .ciE"hQ-:V[y4d|@?|[=RWEZqML;̘g^^MW x:O6 0z/~V9_NQ*Ao/%BސӬr@[g '·h0r