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  0 0M# \ ]]HOL-Nominal:threads=6elapsed=5.949cpu=12.332gc=0.548factor=2.077zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮeYR~g ]rWol*/rQEז8f~8l`O6Z3wGzFgX&R'rxMQ_q>wn]6ݏ`yђC})V0H>C|zCmLˋG?>9i3x&l^9g@-|s1%`Unq5QY"3|0)M{n2STUg#efU s`]4w=љW '.5n Ю) :<6lL4.gudf^qV,!Y=&tcn=]kg,a>bVtX?=+0*=N@gAB j_~i ;Q 鿟'1ڢPB D#t hA[57.1 hӗ=c=МW(pꅖ^K4삌т}25<4O.. ߙժZ8|C9({\ͧ/n2M-ݤPse~tB&S(!SQ1tB[9O~@ffseqC\jE#Ҧ5ﲲ/̃wxQ"Cx?M.S[_cD{ޭ6 yM-\%IӮ c &`6[Kr<E*9WgYZ5235f5176d6f7850b1673afa2434a2a0a402a5c23332edf39847f1628d35f5610cfefa768193eb62 cc7658c0667840e71fec6de22d6d5d51b1c00f17 980d86e0f1ac6d5651cf703450bcf028274f1fcd8c54ed8c50f5b8ee0440d47b8b276a3a15e847ae # HOL-Nominal