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 3=x ~oHk;`dz< yΟǦvT'k,qR \s%t,H-TZv1ӓQA9@p/16ln3r+)%8]#ՏʹOs_AE}d+E5/'Lnb~H#h A4\L]1Zt8XhNW8*AJU8DZgYZ9f3647d3afdc2835310adda96e9cf27b4e92276037873e0061f17d13c4a85581673448df5586ab38 028772e3c710fd2f405883aa829d195d518239a5 b44479ac0b315c125df71594f1b080794ca3d338   ZF-UNITY