SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 --P)  ]/ Card_Multisets:threads=2elapsed=10.247cpu=18.572gc=0.980factor=1.817zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjScyo4ɣ,(x]C6KA1߾8NU8@JO⚨NjzXA%e·{Dn2K0$/q{C8Qf\FUWa̍3@&b@^ ?E$>58Fg Z7XH=䥁M޴\;' SV_V'E2%zǛC@aE/|f^D@ꖒ]dUZ4V gYZ7zXZִF! {]ŗXiɟ1˦rYsxgp9f閷Vy%,ƻ\#jD c7bȣ@C?8ObR+-gdVrMjde~Hz%Bv_gYZ7zXZִF! >q:]ŗXi%;3 >0MJWdz⹩AR.f+N?do쀨<4x)U-6/x_2d)bbs%Y%otςXUoH ?vL0ttnΨݐ ].>$bf2O;Ch>f`+&;Me(.1&TcPF{tE(t3>8r;7dһCEdf/n3nF$䀝侽;dp}s"Xއ=6&WK (~\7Dn:'1 sWƁS3$, '[ |LYJY$2C\4}l!uYO:B19;~j@tNHM ZvrJHc91l֫nOf@@lHH`,-f3{JlM|6/FgYZ5ec6ef03330f4628a976860b31d5702cebec155d665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee ) Card_Multisets