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  y\ ]/ GoedelGod:threads=2elapsed=8.739cpu=8.428gc=0.152factor=0.967zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~T P8lZ 2= ˎ_BTؖ`O>țs.dv>B̮T*,gYZ7zXZִF! G=]ŗXiɟj bk4ĻMGC0qo.lcʨ6`C(oC5*uXˎ۳, S}ǚ/E,|Y":ɮS>P!|nlU'R ܼln ۜ'9 G|j6F-Gma[J#wu^sq|[Px]3 vt4{)v{,gcЗ}g57br4ܡYQCf?1WTmSpۘ'йAxz'zo1|xO @LY\:#Ѧ&?XDkU H'9^ K2jѝso_5cZ{5B0dpG4>]Eq7TARGQwl Hr&00 Þjg % s{ZYa1+ֈTy?r% Fݮ`&E޳b4m"rqPQC VKe@Nn^A3 '9ݚ?e7dzmgԘB }%p{8A`Th9k,є^gYZ9205521ddcc2a246a6c88fab6208eda043a6362b79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef   GoedelGod