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 V   ]]]ZF:threads=6elapsed=12.546cpu=38.008gc=2.124factor=3.037zXZִF! ]ŗXf1-) enȈA XR„>jjODSX^@S6>oG:7aTf 3CKvx O5|,ClC TR}0GJ8TxsC ;6l^G׾0eE;%(yJ|dNj:f"%p|YƫFD|3DdoS{wrhU2~sqLr3ruV^t mZEd]{2jr&prL~J(1 -6m|^}YsşHz$*܆ zhXw `RթL(OEו2W P̂Ά#puoUbM.EtOu\M_)+ b,$G8-׳ZƎh8 QIЮ4لD`. nұ3+;>\ݽ=ǨI=bVRwA(]_>WvGXyv6ik\ъnL0dE0~u ƀړҽlCbW]5뭺)Q=bXt&ٛk{5؆ծygJOfeD섐]W7{ӉA^CФGE; Πe zTͱgYZdd4a76cbeaf59a9fa1e398059c1fcca96748151184f26ce01913cf374dc1c991cfbba0ac44f7783a82e04162c279fa57c60cca8112c84ca5c8ff82bf  ZF