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 (1  w/ RefinementReactive:threads=2elapsed=16.264cpu=21.356gc=0.412factor=1.317zXZִF! 9]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1K;(DM}l28|I†CIlġHc4kNt˚s> )9&6CBTZRVѕ]Z`l$ .%˿ >euB˒10Yk&/O9N( 4s3+Pp WAQT@7/rZSZr`~'t?:eiBG$#EgWKN' xqVnhBH\mtC ݩP C ӷ$Yif\NJiRߊOF͖`,ܧLv~JP .FcT /:g"rp7x߼P\ 5 ] `4D &Rdbl#V.!!u lgLmlq'EBʭ|2s!RA6T[4(ȕ@?Wy N]cQ6Mf(GnUMq@e |-$P5:eƹ8/\P0MwS Ce pw T Sglw< Xr]4d2q˔)7|$F b۴`ѠZT3pyXVk """?^Oj"Šn&"rY-*s{N{Cy^tLV=.Uu< pù0Il ae_1lJ높9ՑI@{ @nJ ۭx YgYZ347276447590516fee87c0f41108333baf771c2a 58f76d71ec2fefdb1733f95fd7bb36657f14af6f 5992cf726bac5c9b83ff1c417799f4b78da1750b 6989f07b16caa4f39918e88a6cfe5fb8798003c0 8b0988cde88c9984f3c8daed89d847192ded41a1 d7494d4b5dc1424c0e06f4fd206de3b84c5d84e00ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 1 RefinementReactive