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# d  ]]HOL-Nominal:threads=6elapsed=6.642cpu=14.812gc=0.908factor=2.237zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯~U2_UNYݸHV}V҇I%B FU٥FպN8[ @Ȑo;K|\xU]!r^sO0\J *4 ub@r!{!&-G 7H ΃dp+TTe&#n51hf6G~5e ٮgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ *u b`$5[d JZY*R`I'{J}YZ7zXZִF! !b]ŗXi%@j %ƄRR1~:^È).4%y3,E)atfc'̦h㗥7b+펆ܻъ 9"a8'M(a#*Bzjixdտs/f|uedf*z <ϠiVQ-BGѯP+NDN2#C\OUz6=`<1^\(!Q"pOmht)tIqD(mKg*lϧIqY0@ ex=D$Lފ_1K:8%dS+e{FS"v׃JWW@_絲D4o.f򥻔zneCn*ŧ@Ϡ ™D7z}%>紦;rq_ o28"WJ%k2:MȖ;ap NGo`!X@v{%U%gi).;5{ `t!9U&NZy1\W}ݛ^ՁR3`2g]+7D9ᇶ$VTp %k&y{;4oitȉ"f~jKEܖA<}`:?o BW%gYZ03d185d11e8835e612e5bbbb09ab64e10dfdb2886450dc2aa913771fa0159410165f3f6e6149c480 a7ce1774be22ca0ed19dbea2c9b9e6e66619b0b5 0267aa22191cb79844d19a5ac3ff215c9b29ad66669a3ceb8978ddfef151c77a3a515490b6ba6326 # HOL-Nominal