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 # < D ]]HOL-Nominal:threads=6elapsed=6.205cpu=14.292gc=0.784factor=2.307zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮJ8t|n=v~(`iX\*^G>i"ͥ b^:l&V7K|`ra dxƎ*:e0\nV KhYsZ dgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´qc!O04[*FUalbj`I'{J}YZ7zXZִF! #]ŗXi%JH<ƸzSMG[71:I*d*jgӋɍΈ2sDˣ&t$&Ev9G7?O:}qoC vl؋lK~>+L;)l(\02n+>U@*xbѫW9r{7_־Y ŖDYU>B۱RЏg˺>!mۊU3@=xS쏾E^1<3sUƘMei}R;pPfvcѼJ..#XR%;M!~p9qZYr^&%fh.k]V $˽ǼS@%-[Z ߶qf&464ѷ)kh_St'3;/I +&ڌ |G(7V-t+j>Lj5ۗe Z˹)4ZZp&J#^% ߉ Ov;'f)5+I;l@fP\| ֙X4gvan!AZNFa8uBr`xW~tܤ"\T /X3ּ(+@jPQ1wu; η6g$=kaMĘ' {ݯ)v )979^f8zK\t*5@$; {fUA"z7/mk߇h%KQNd2N{e*x5l+qY!ΡdtǏ C$L, B7\z|#@By=X G_µ}JfX4!iݑxPQjxCh1 rђy(/~N ŲQq#v,w[pX`bN.9@Gcy{mpg-+H/K2gYZ2d64e123fbe4d4ebcc8b3ba1d5ed8c1ba30e3116bd83b15e1e0e9039a1a1655585e69901cdaa3f80 e4ea8cd95193acd87d6b106879f9d68d28c8a75e d1789fe27bb2acdced8c4f59191cd5d99f361f8d215355f04cca4dde1660c3ab5d59224b5e1ba9f8 # HOL-Nominal