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   |LD w/]Main:threads=2elapsed=1.306cpu=1.380gc=0.000factor=1.067zXZִF! ^]ŗXf1-߉k3TԤM2G%f\>X| N0ƙ}t`0-v< :KƁjP[ ^ J') z)7.gYZ7zXZִF! \]ŗXi%!OSpƦQ~L.qbb|hI͞}ܓ>9Z:ǐ0PJvm1G ,S$8fLl}ʳ'7#͂WKMq G,}fnB3r`Ȓvr ?pL_GR*鹟]u/x]Oع'.u9#svPJ'\25yd<˻ǀ^tam XP5kh gYZ1930c3b7c20d9797c64aa918366ea5bc9f263901 60b7e9719f502620ffe20077b2fb4140165f27b4 6df45adb981e08f68a827206bb1b05ddbd152746 8f194db846e67a7e87b25a27fa8ba1259c4af82d a634d2977750efd14daaf8018feb1fdee3310b68 fae6d227bb2f8ebf8204ffbe9d8e7844ce87ced0fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700871acdaf77fe2f382b03608f12417364fc1c03f1  Main