SQLite format 3@ . BBh77otableisabelle_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 ]w Minimal_SSA:threads=2elapsed=8.267cpu=15.496gc=0.488factor=1.877zXZִF! $]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@y~s}+X]8.Y+r:89MygAx֋P=r"p :QGH1l;nM[01RF݊I!:t(oxh5gTbC/-O*Bz5֎NeɲEsXDyDP "VGi[iũX@H|z9˱gYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.050cpu=1.728gc=0.0002-, )dL3}^}YZ7zXZִF! 3]ŗXi%9#qwʘ4AZ$"}Rg6lF85tm,zKh4iҒSZo?|Ö|cS!BoCBŞ5L=ehݚ|hD Ƒn "8x# ⭣u˝L9e0*۬Un5ZGv=L/Ƚ: Z3H[s V7,׿zKu%InԊbn)/XKhf`yhF >4~&fZd\ mk+c;(rЛG ?Xh׿iMqI >M~r9 `$%[3TysBs#|S(wAo >'EW8ꃵ.mS1g%TqQWBD6nHKE4Bܙ9l%5޹ ].Z跨T!6B疇 Y׎5)'!@q/  $^4fbӫzƃfEvb)YP>7K˜[~q(6-Ymw8?@-xCuE{T%[ΩtF8,}LWY[m.XY!`/'GcNJuCLc͍)ԫ͠+g΍Xviyϸo/̩A=٩R~Eorx6D,S[_5T'OyR##QF9^Dzk]6h)$n M@weD|1jjK1>(rt3yp lkttggұgYZ551c9e5c6cb6bced7487e3c6c8e1d129bc0308818ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a eb9dca0a0b4d4e0dbf1db07755e5b32a9d8bfd11 ed9381b8231b22815aaadb0ef338fcebaf424cab fb0f36f526413c39491d0f9c0367a203fc57b0e4 baa076439e16683222d185f3de631f539d4161f6 # Minimal_SSA