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  / D c]]ZF:threads=6elapsed=9.858cpu=34.088gc=2.108factor=3.467zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(FRt%ߌ{PM b^" ;#ғ4r"e(LJd/]j<`KlI4agpu^b lE7rQ'ӹBtL/:ԛ=H It0locO%T)vTvxVkc(=;$u r rWdbw(muGreE,e?38u5kWՉp, e6qz ;o S81h#V׽kԒ:o:Y^D  ؅ rP?уMۙyӪ Lfڌ)C7e[^\3d%@R)Xu* 2-D!~ۜI2\NXDv5Xq612)VK xٞn#xZ& yW (ӾXf"ڊ9Q+xH 9, ⩙cB9\O? B#]5W?)Dp.l ļ*+cbP湯 OyP-pޙ._L>-ȼ%R+ՕXDfȶ.aklh'c oªV&g$!"}:ܽBwq]XD\ꆏM䠹sVlLUY>Cs3$#=gjWƐ)~$Js4`L-qWw| )m0m4fnuQ{XN[6NvV8xHko[Hu *Ya?Z6 y4d9c9R