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   u# t D ]]HOL-Nominal:threads=2elapsed=7.343cpu=13.208gc=0.768factor=1.807zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯I@qTYͲc Ô2XH7#N p\`XqoO'T+e尦F~\ &X`oƵ.^/IɦJ; Yj~0֎%WgeRZ&.#0q\rO%,=DïS&b/W 0uTgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ @~`6,URNp/+X1] -&5_I }YZ7zXZִF! #]ŗXi%96@Y[f(ד8Ӿ (Id}6U~0dN^ jhM/@4J:~"Fx3sRhVBRܫ@i0RF ">A=TY98XPB?x[u9g6\NE;7T|FZ-X|0﵃N5RSlrf흉l@y,F <0e/BU~J'#=_`f5Yk,ؚ:4KmltwZ尗ApP!Q"|C\"CiE%&xt8fw CTYg+u8DcprX&B$o;I@wq) 0FJ=n9h!<z[=\2p'8lN34Dg59wozODe"8oj ocr=zqQ \gU'aip`)Pr1UA*gH8EjA^hMےEpң{-(U'V + àT4`o1染7t&7]*dA-Eyֱ^?Ӛ$lJ3˞lOmiG~}C?AMBXN+m nbiT]pkY1]2_'1 S~DEyF\}gYZ510eed7cf3ec2aa423bc2cefe092ef9db3f819593fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de d423e696cbd8052390366debb40bea8c4171dfd4f26fb802ade460ea39c50b65b3b0d55147f3811c # HOL-Nominal