SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 GG6 lDl ] ZF-UNITY:threads=6elapsed=6.094cpu=31.892gc=1.232factor=5.237zXZִF! .]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b +øe4 Df|,8RsSTNNIy~4i6oF1z>eZ h~Jeq ήsIVѻ;fqǸib>X1xs[5vӋ3PX̛4 Ԯ:Y42ve_U\-PY\BvS"XP_e|To7@+IzAhVKr#Jzg u$!!X~adc% fi/^w</"}Ffjdb޵wkL&dLɁqRy:{ m9^aA r$N}Yd&]0vQZv,VTje +<ٵ'rLDr\ܒ}j#Y ?V\TV$7!!@uWLV|$*!P70[ wob> ,_(6OU¹9C2FnYʋQ,@.e,]wR2-0-ާ} ~(x}p]Laky=w66yx~epL7ׯO/t%xf@B*OMMgYZ7zXZִF! h\]ŗXiɟ9 i:4V;}A<<ګMP7g]ݑ$h݊6N3dcpSU=G+Y2:C.+Rdw "Gk@jD!`&[a \DrǪUjǷRH;I6zgYZ6dd5bbe7cfef2130e92ab72d3fa8353d23b6214ccce1fde58c2854731b4aaf54febb1fcb0069279e e1e44f0961704caa58774094fd7707f3a6c54579 2fd423aa35f70bf8b160422f6924da6f68502228   ZF-UNITY