SQLite format 3@ .0:  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 E# 4 $ ]]HOL-Nominal:threads=6elapsed=6.379cpu=14.740gc=0.988factor=2.317zXZִF! 1]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮDU D-8> * ӽ@w%}Մz,+JXj XP.췱H%'c?'USI,T0*Ǹ5ȍc0 L[‘E ,1g܍=6Aiͺ51\Iu E} R&n\2qcƕN~k#<<{ɿLjJ9+T[/|hoh!6M4VhkU4"y VW\Ҙ=^H7z.2.h?Xy.g\2 ߍ7l@<䂖xb0 \;:b!Ͷ+Ɵܩb]}Ȫ=As=e[a~; m\dI{ Zύ܏j -OgA EZl *vd4e(uunGp؄f*ll?;'F]% oktd rdKGAu0hnbGb+h4 !xvq.;'U:nhT"h~Z#l>tQ`@Zr 0l836f{NF*F Igv~VgZ=fPp;*V>Yt-y}m"תLXr-­Yʊn_@]:Rvv 8Ҙ,GfO/^phӠS=zGa|M2.gYZ256d1cbed3031cede93e5fcfa57c380565dffe83b051f2261d6f88c03646aa313c73a7379e29a659 7633af7870dcf6daa19ba6bd207628594e3663e7 48f356fb57a4f791aa7bacb846a57ecd048f2eb446d0efca6fdff227d474ec2f07210db859753612 # HOL-Nominal