SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 pp   D ] IOA:threads=6elapsed=7.194cpu=28.880gc=1.044factor=4.017zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K eV%F>U|TaOoWd=)h+.tW+][:xv<(n:G ##rn9,f wFXUq4QSBʜu֬J _޺q.M5v%U5V蓃9J)uUڬRxt[Yvec`߽b9kXћa @j@/q!JiJ!M'L?s_q l.JPԕu%R.&q&U.9L-ꅛM]Cَ?Zl5RMC9HJE/d?^>r@r-bGyh#9Au,c4(gYZ7zXZִF! `}]ŗXiɟdN'LvH۹ }%Meaϯ^5{$7: cZ.``p3mV4;7B,VdAGt i8K%:/(^ +Lb,t ŇՅa ZPΠ?0nҭcE7 @ɘ%^%5Vq 1}˹ RXfV9s TIM:&qj<Ɨg?<r)*\ G##c \J,*"}v!*K6*TckA]\йVN?_|}~}\mtM_yࢀ TU}lw4w 6'\Ǚm8lMrw&b1pH2(ڀ~s#FuϲgYZfb71d0b5cb3eefce9846729fa25f24d7ba68a6195a65cfc9184ac5fcff440c336649c488e962f666 d0455d08675ebeb715f124bb5eabb8abf79678b3 5e0d39d1b3c6f1f59483fc9b7a464a182ffa0ff9  IOA