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 % tTl ] Finger-Trees:threads=2elapsed=15.565cpu=24.968gc=1.812factor=1.607zXZִF! ]ŗXf[&5Wx(03Z*}?6>8cmq@+ljsw[E n68ԗρj_d (hwj*IW<1wb3eDI5m_ٕT?y# cWW P/R#ÓR6lg/U8G±%g#*n47q _!QNmb0hwN+CHT/LٹQ? =]@"w Ph!3G_- ٛ2|mEHnJ i:A%/&1'@3啴4g_!^ af^TyلpBKz@P|0|ma4zLgYZ7zXZִF! a]ŗXiɟ頪{jtJ" ZYYh(\f7G[߲PXZnd;{v(H{!K`C%]<EepջǠjy}w,gYZ7zXZִF! [N/]ŗXi%>gGg>@XT3^BkҢit&ӛqu'0ot/'K=ٰg>_}Nցi>:BR "ӗŔ)g$ꡙJ>܅(TH1½qäcQ,UulZHki `1%> N%=oehtKDoE^Y<)uAwsuEVv6/izTH G]LzP<|UgkpbQ]v ']_"ycdg[Ó~vZӢΈlp3)ڡcՂzfs+`C&Gg|q"f8?eSo&o1'{s?_7r$0W0E[ m6^Z/qm^yGή!ِ'*lRh~<sV6:*kf.,cƪ:h ` u##M,6Ŗ@JDn Bz^[ +/+{+p='o} uOh&۔r盕&nm?o̓B!'b  ,) <ȺD:>=jZwPT9L8b{f7sMBȝ[۽RRu+5YVW%#~Hy_{C\At[)o*e_ǡ;YТlBeO{ |u1;oOUFN8p#ϯ5x,)93a"닲~Pfl㭇y@ %v4pmA=6