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  ]-Dt S% RIPEMD-160-SPARK:threads=2elapsed=1.182cpu=1.252gc=0.000factor=1.067zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ!U:@sl zi8}YZ7zXZִF! ]ŗXi% NJ WVZ]Qec+_|ʼEgY 7ݸYY`488|:>UYIk(ZE7Hda?&8i-"ȇHlxٗS\k.SsKhc"Y5G WsLR (kz—&dм 5YZSc j1r Ȳ`XdC杠AR;7,e}2:Sg8j@H_vຝe~Vz7{=bf K yӝ<41º{ˣQy9-eگ9- { #ܷ[2!ܔ{m#=&iT&;_dDu>[Q㛛~n'Kt&bgYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb6728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 2d7e34b51e998d41ed4178afd5a302c27eed7c4c 4e7ef0977df41ff0b2a62b1363c33426c64fc0c9 c0c0debdf5b012ecc25e1b99949346ebe7c42e32 - RIPEMD-160-SPARK