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 [[-L %/ Constructor_Funs:threads=2elapsed=8.513cpu=5.652gc=0.200factor=0.667zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}"xkrXrwRvz/{J;6BWL2[~VF䯢69=wGJ8'ua`z2}ɭ6J..`WA06zy4y}4jr+~urkO} RgYZ7zXZִF! 0] - Constructor_FunsŗXi%Sc\Nm`ZYk~xe\,"s :KJ= a-ZM6yֆR_PCji4Uhvq€a,|} U?=, (@Ztljpl-ZzGh 1EcuKWE"a#I3+ZA&\nm{ϿJt.HW6n,a'uƠa1}`.Jyb_mX{7lgqJ]rj)Ovf=r;!^5{1Eߝ|Ul9iZ|@9`E ,nf_=WZVbN!ok@mfvIoQoPuW>HaMɱgYZ49bc8b2c116804b0f178a9426ec2e9998b259252 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be 697c5c0e2344d52be79955bfac21eb851db0dd18 a050513c4e99915f1143006e1c9e5fbab0cc5278 ac03b26f96031f21d43bd211fddd0468cad7c19280f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4