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 qq # 4 ]w Minimal_SSA:threads=2elapsed=8.884cpu=16.276gc=0.424factor=1.837zXZִF! 9]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@֝q76{P|XJ+OO7+kUSb:\kĿ2XXzCMCϺp$>S_(*}[(_φgvC @1QI}E}o&a!򡵵X^JeBbQnbˈnVW(Ǒo 7ؾ[J\a_)%,94xNR1DOqGgYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.063cpu=1.772gc=0.000qdL3}^}YZ7zXZִF! < ]ŗXi%;CvAY֓aA hTW_+)µ}9ja<| /']5JT@57ԥaAxoC߀ľi;' *P5z FߛS#hsCe 9kOf>m=&6%D~Rц}ϵv.F s;* `}x4!;!:=-0GoHcmu[JTf?JCwR  h!pQ‰fߦ%y-ˤWNX_[Lhˇ,tgnv3%T×juӁDEOX,*=# 8U?P\ϑ\gYMMVpKC^-0w 8?!nMr]tU?mz$SX]6k