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  \+ | ]/ Verified-Prover:threads=2elapsed=8.836cpu=11.596gc=0.464factor=1.317zXZִF! a]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\7 SmTTgs cn@}7Kzh4M9CuH,!G1IJPȨߴdqDn:>FA vNJߤiqIB|Ȃ}WӬ_rH.dru}dbTQ ۃ_𮉢ɣv0}DΌ2q_A7@( "@WgYZ7zXZִF! JG]ŗXiɟ@: {GXjWwPAxWޡ$<ů8H4ģV`cKWX}YZ7zXZִF! 8;]ŗXi%;cJ?#OiLvf2QQp@V_ F~v1dVbڅڔ`-ط]g`xTP#9lq|~\J ˊj<\l!c)43l:ts l(*PڒTH.`*,ԅ )Zdg_#xQVhnxE?9 yـe鉗r(=*7s] `q L\}k+clC"6GmY lFjojcOiWa"`^lCu5s|2T"Ji;qi92)靳TѦXSS٣azhj AJ@ƒ/;o_YZ$xq `G* ǏEg2۟Z R;pZ!&gYZ1570b280a23180f8fdefc4bf3526b2e87954a60779d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef + Verified-Prover