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  \,l ]S IOA-ex:threads=2elapsed=0.703cpu=1.508gc=0.000factor=2.147zXZִF! h]ŗXf1-qN50^ \!RY/nDTe F]3Kq .,GѨ BX p uB!g(gYZ7zXZִF! O]ŗXiɟdNG#8 Wƕ)v3)/hzx|~r gQP$@oV~D+6#|d{HCWAxODtQtW5YLW[]x[`|pDWxKk}L|"o%L`]& XC_H".CfC\)q<؛Dkq~?PPb(DN9&}J1|=oB;n&>`UY,4&)Ġ g9f o~ٱgYZea6e1ccff1799fd0ee491021019d0690960b6e064b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 92b4e13dba5295bfc710779f7d0677aed6cf27c4 12c9bdf02e77e1bdeb0f09a10cc3bd485deb3c42   IOA-ex