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  W W&<  ]]]FOLP:threads=2elapsed=1.270cpu=1.284gc=0.000factor=1.017zXZִF! X]ŗXf1-) ^XOb86W;D|irK[ƽ0|K%roMi{ҏl$telgYZ7zXZִF! rC]ŗXiɟ 2 :S~ žCm:?w?o-Q>0v2Us_s6ԩ}YZ7zXZִF! #]ŗXi%;c6ّ?)J䧎p})A˿!: Xba׷U5H58iuWuM wC^WoN(>Ҳg.-ȡ\O.Sϧ AگiׯPV9Yٴ}5/x5߸n B񀗈̑U|b]̛3"S}xNS YI9ֈ̨V6^0|'}MO7<}˛=r̲ZIp#gAt$[*pDR 48xu^2:cӦ2Qm'ߟO&Eƫ6?F;jKt <(~Kyr 2~gYZ58a798f629f9290a6dad6e515d724a28e369ff12db6f05ad5884c3d4b639d9f4b203792d5968e568ee2d22de21137fa03d8ddeae4fb7d7a7e85aafb9  FOLP