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 ff' \\ ] HOL-Cardinals:threads=6elapsed=6.654cpu=34.896gc=1.468factor=5.247zXZִF! @']ŗXf1-q恈<-¡$johkX2I)']8PI{t`=w-^ߝ`T&j'eeQ zD@B0| 4AzqoR  ggyfVr&x_RrA^duƖ3ԋz\v8uy |l G[^ai?1g @a@M8"kh=ltſ63*5tw䓨w E7+  i}ܱXd7 1Om]H;] #S?~WBz%urlҽ)CN$|_O&BeXNŊKˊsfao ?@^oع8i{<(l+C$/uy!w:7H F7''yAl܊pZ,'uWJqR%tqxǁZ:Y$hoӃW2Xŧ#b{"/xc\+MuMt+ ΍lF95=gzNm tmIDiQI 3:\?Vиqy {rnU&"MpgtxC}a^]̵<(b< )č*Eh0HdhWdR.jɾ0鷮!U|0(v$zGMdohuHK'aY )y6Bz_:[ :>T ܋{)`0+?Py\ W&@Q0K? ϩ3=`Yy$IMݫ}#RqͱGZ9On}xMtAgqI|\GݪߘE(0|?TXs9wjѐ~ڄ7T{~UMI}n'dj_{F>ֽη4-StBٷ[ԱgYZ98f3000418e57dc46e7e3f202a146ddaa594f52bb5db32649db89f76b1ce56237e676f898e9d50b5 5cc5613503d28c7360624d52aa81851a5e1c5a80 de400e153e6db4bb3c973029c7aee5edccc34935 ' HOL-Cardinals