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 m) < I/ FileRefinement:threads=2elapsed=10.675cpu=17.688gc=0.136factor=1.667zXZִF! E]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T|cKsNhqQ[3*$MO2(JqXoq&tVRoƋsRJh0̉ 0퇉J ydGIYLs>$QEJp :viE}ȻܦZBAe3>UngwM!7O>!E1jWؚ((Xf>c 77%U&QR J=`N']PM2fB hm.g^Gh Q4gYZ7zXZִF! <]ŗXi%6uT#'aX߷lO̐E|n ySPs,6e۱:*L%Ij B0ρhH5$F#K$ZX7[À.t}7@]V5/$h(ئVZkcCfqgoƵon 4VEOɊp-iWyO؉a҅q7HׁdjMLf&fҐi di>ݘ>kfܶw%7K3 3, صYBod|lKu=({#Ǖ(DLdP"٨MJ %<78ͧ!P?ր ̲G$DN,UbTEֲf;k>PuZANIdȥ8uc)c_ڀP m%󓄸Eڤ`y&!xkPt##([O6fJ鷢Sp6d:"{?_}`rWt%t8 wVp- xdx^s@@ā.[;c)ygYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 9ad482ea1ce287427e91e9b3002c3c384c0bf89f b80cd2c3354e8be697c2a705491cdaec817ddc97 bbf04ad7a97683c0d9b3e3d09e586e5ca645e135e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d ) FileRefinement