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 X# dl ]w Minimal_SSA:threads=2elapsed=8.191cpu=14.940gc=0.336factor=1.827zXZִF! +]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@"C4*2w_U%0XbӄsK*3ʜ5vbV;I'"3i&M|BGUehQގL}=gcŃ/X+ʑHG̑/QF4Ee?A5̵)rRQv W;fb3{H("&O`fZF_ƱgYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.047cpu=1.716gc=0.000FdL3}^}YZ7zXZִF! 8T]ŗXi%ή++_y7Lƍۈ])ǔ_*ޙ^KY$IKk}53bVʡ0LϏ/4J\=gݜ^^x>;#/N;A˷8{C}aԊ( u3Y%CXx[@_\|._8i%QQh=~~ɹ@ۃFC.~&Y0jvَ]ù+_tU:& r[H U#{EO&9F'B!NzMӛi}Y.RA4$G @pgiY\4aaR<sS%˶7Z\Ҡ.iJ$?EdxKef*$̑Qs(-Vnjuv.t>|D&Ѕ^V@07aSʈKA%×(:W)OZG)Đ\t?pHp,Ѳ䟄[X4#L#Y=C wqJ;*@ R9$<4dTs]^X7ڄ٨)_]pwWpA!OgYZ9705b6c5bf40e0f4b92a05179d987f9539b512aa00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5cf66ca79e6302b03b690cc77b658161a66a4401 31e3cdb1fa11abb502a94c1c5589905b57492701 dbb707787ef2333c022289ea1fbca53bc9495b7c 63fb60f490bca750e534d1e62c35befd2d637cbc # Minimal_SSA