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.452cpu=17.876gc=0.124factor=1.897zXZִF! -m;]ŗXf1-/6vRZc/[؎ V~'0 O^ tdî4?*9KϝBzC!ygp|!nI/4J呔 9"H]@H?Yeϴg"J^xaceW8t9;< x?ϭ\k9p6uo Zqjn-C5vϠ;O·K^v*VPk%@$,փ7ߢ#7R\F8ZBQHYY0{֋.Pf-iϢƧ%G XӲcΛ81 )CDG(XAlM$+`d#89AVj^{n.i/wEˍhpjC; d>[Nomѣ=x0j=Ǯآlxhq;,jGN"Gt|M,P[g]}8]S\QD܆x'wG)X#84Ap5QRIc`إ^OrisrcʬZgYZ7zXZִF! 5]ŗXi%Y7gd|D h'+HJ/ 4R+)9Vd6-9 2cv3zw "壗iP=Z2 hM<3:3b)@|Xk~QMeI dtnfej#gԒj Cn4NJ $sccGI$&<б]2`,A3zdS8(N^Zq&QeZ9NEX}RҘ4}{6.38S} TH߲!m'MB3 32^3-#شpkiah  WZJ (= E4G)_۟>F'L򍌑Oy}XEUI 'a%'NCǁs(W 8!wk_Wtk\lPgYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 9ad482ea1ce287427e91e9b3002c3c384c0bf89f b80cd2c3354e8be697c2a705491cdaec817ddc97 bbf04ad7a97683c0d9b3e3d09e586e5ca645e13507addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988