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  q# T \ ]]HOL-Nominal:threads=6elapsed=6.032cpu=14.152gc=0.708factor=2.357zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯f?F/.'nOwHT"*tt)'ED'Z>8U 4kC$bdbj߀K_!V7dEip:5P2яwK 6FDM!<*;~%FH{ƺcoßXŋ QXC *5gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎR4$t1^j*&;PToͅ'`I'{J}YZ7zXZִF! !]ŗXi%@f@Mm\-&SԱ{MQ|I+Bn{9w2 o1BtyaFd>a kweI?]Mo q@M1=Zw&KZu,NaN/snvF9J;:ŕi**#&"O-,A (Q; } 7y@6z1m)A"D dKܵa3 %3l`"Bj! \LjĆˑ;҅ 6NkMRp#YQۻ{<6">lOؒrS㷯qWB]ɒ͆`OJuo J.T"":E*Eͅ +A*cbJU~Ć{rog!kCv溑ٮi6;'!105=tHC)'G)ŧlDEz/+֟YËT7~9c\W2<׈⪡ <d U44M92 #Ect.W^Ά]|˜; XT9zߣowkĀ,0|)LMo;R?ƶiXC LC 1@NedUI ?CQqnPgYZe80e5b8fe01b998b69777b3653f61b3fff4a03aa72cca0904208fa240fb772d4d14dff23ebcd0242 8f015da9fb20bea689bd130164efacd685956ac0 25c8e78f4a89f9d7fad0c4866d60db094405bb24cc13942836a93eea535fbfdf7ef9a196492ca672 # HOL-Nominal