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  g g% T Sw Fisher_Yates:threads=2elapsed=3.429cpu=6.316gc=0.104factor=1.847zXZִF! 0]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD fA IaQ&/ɥ0(5sm046ۭ^~% 뭜KXtǔxƎS $cy]%q'Px~= ]!l-Ĝ؆-t\?&q,5yi#T(%"B t}=j6QCd%R#g7Tޝv{pi u$;)m@*_&q "YN˸P0+I,11L|؋2:ytBU4m#e56#y jvz}//o 2P0Y|ta%u&DM,&ܷS7yK ǫba޳K.[Ypf!#&>Z'Rt6ʩ2 eC ;zPbJgݬ8PՀү:>xv{;՗ FK>:뢎l49\ZgF>(J:xת*6$%Ȩ7OYw3cρ)B;EwT[?-7l5O`̉