SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ) \, I/ FileRefinement:threads=2elapsed=9.351cpu=17.552gc=0.140factor=1.887zXZִF! - ']ŗXf1-/6vRZc/[؎ V~V1EfA=+JbE}Hɰ!湝G`٬dN$ڹM"lj!X&yr~)-x2KBvCz «sƣC ) FileRefinementԾ\kGn՜{؅uW&bbFlLrfhοҽ/ky݊T|Z .0Z/e.)tY9FB;P n/qXrzcg9Bc5~G!%J]'wu,)C}g/ܒT4?mF7jV3${^vdew ]1:N\:&$%k 97\+oj]xL}]x.f=B@#oBLFj1ZlHrY}}Xbԧ@xCg3/6fCWUSbϓP\q=0U<9gix"mhi|S/7}f~e};jzgVi1Pz_Å:u`4>$q>Q1Vf5ylȟ{B&iƫiH<0xW)fܖ>ݲ/Kjp99[z/sdB 9 \x{ұ?{ǁ%U'vw_KtϋB8JTY4,K''R\ǨL;:[Y8 T#^ hkVrgYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 9ad482ea1ce287427e91e9b3002c3c384c0bf89f b80cd2c3354e8be697c2a705491cdaec817ddc97 bbf04ad7a97683c0d9b3e3d09e586e5ca645e1357df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56