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   u# , ]]HOL-Nominal:threads=6elapsed=5.900cpu=13.732gc=0.652factor=2.337zXZִF! +]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯.+h MGv72,{;BIqzsj:q <|DƳңRk;#Ѓc@2/V` re Qܵ%6z7籚 >pz2\P=HGfn̤==Jl5M(z\ln_jbF" \ݱgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Îx<(vWy@?4PRfC `)K`I'{J}YZ7zXZִF! 4]ŗXi%>mDXgctXtQC]~% \FN l3D_(yڑwH:Auݲbci22P0˓΁l#q$`,LFC8>0g'58@M[VλX1%pXX]dD (r.Be8{˓Z9+,&Mh{$2vU@fABzzqqPCs%8xaಋuɚwC`g߾o()?Ț.>*6 lQPL{,h>sX@~_c,ܞQѤfٮJAsk_"ڠHGtWG$% _\؊l$v0Oqz4osgYZd17940f9a0129d3310afc80e160262b46e95db9cf446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7e cfeb17add6dda1e3feaa2447e359cdac203451c801b57428745b1c3d2c0d1f3cde91f3ab60bcc8ae # HOL-Nominal