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 u) $D I/ FileRefinement:threads=2elapsed=10.746cpu=17.704gc=0.124factor=1.657zXZִF! J]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-TzO)sct^J&-ZQHgf{QpV+$>2sሎܧ(aEe%߶"ɋl>KPX*m $R]cv&W.7 uC0g s%i8k_x@#" mqJbھ2NJ/nŊgەu\a^àmbm}ԗ@RB sr@ZDR {gYZ7zXZִF! <]ŗXi%6x(+4SrqUDDOԟT3 BoLacZ1ޙ1j;qZtѕIޓ9֕UM$DrE4Ҝ-nf6} lp.!{'l(e+@ԟʞ%N]mp۶̽'/X;ܗ0;۞#׺A/)21]f1S8/=ڃ*Qmg>nIM']4Xӽ;n$y|&-֛ {VzMH*qj岢4nM14Znjםj[ E j{=31א *@D\w2K ΁, \  ETˍz_#nR4OeuOh& `.0BKqtu@:iqCl}T$ِ4 Eb@>W<`=Cg Ɲძ&FK-=ЫĸZcKwęcT^Ͻ~yLze( #gD?j$a{l_*`b#!ˢ[$[#w2׼:U'B Uo>Ŭ٬jJ>5\y|xc1]-QgJR9aPNqǘ]RDK+u71l$/Rx-ϧUYPIsT:67Y~آ pY*!^';lTXT!_7Dw8m7}AxP$hVR 3'JYJ+8&[d e)欖svw)*f-x=Wt1)MY7:2y၃^dT JL+p‹N -دu m[>q@s 'ЀL1LN*DCdF}b4?(,MOk>^@'4^nJayugYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 9ad482ea1ce287427e91e9b3002c3c384c0bf89f b80cd2c3354e8be697c2a705491cdaec817ddc97 bbf04ad7a97683c0d9b3e3d09e586e5ca645e135e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 ) FileRefinement