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 t/ $L ] Well_Quasi_Orders:threads=2elapsed=27.770cpu=50.972gc=3.296factor=1.847zXZִF! []ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫb3ݖfȺy.ym/TvWT]D Дgu=9K'4B=^2ZoKdՁD{?#A$}x=d)rܧW{Q0rub>6ŒX1#4o BoDF5@_ش"Xc>3B"aWCb 7.IS`To9OM`"BS+شz8Ҍۣ~sZӝv:\>2+ϳ3KrƖ7fw)!XK'5Fo$ ~0*e<4RJEElu[Xs?0(OCp [†s+EѽO2 izw{ݿ4^Vmԉ}w="ǷiwB|~h cJe"iՇ?qS'di{{dmjtlPױY1p fQO@^PqW[$Xٴ$Jʈ6͹ "D )1 cn2G}8+#ͱgYZ7zXZִF! 2]ŗXiɟCrhi^IxDY?Av|4vPR{5ETmkSA"`G IF_AP&v_Ef$e\ÅQ'2TY];vŸef e2ӧ%>ܥ,&a0Da{qG"c*҂ &m }/V3>$v<6Uob$|+ 52_Kԇ)0u78;O ?}QbMb|!%J6@憕1B8jW_9g {;e4RSʵt@JvVe.OG_hH7ЩjcF<¸JaasuW<瓦ki_eGY:I0 u?˳Dڕ IVZ~hd% YDlٗ0hm+f7SW'wd0'OU*E *Py ?RyȟstĆcj&)t ҃p;]UQg٠aν̤/q5Qw`6S%F;6ɄtҜ61⩞:-BC\"wUb#FTi%JI+{2[de)6k\iY_0aEa*(X_S+`B@a(5c s6e-sX'W$.OxcRtQ P&%CI#dQDWK qF9Rd \Ւb3V `&md9\j Ej[aGaV9qQ4 3`|s<<%,jwX&̍Kmȗ03Y~=-g)#̸+d*vFqw-f#ٽ$Ae𘩂ծ