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 yy#  ]w Minimal_SSA:threads=2elapsed=8.613cpu=16.116gc=0.452factor=1.877zXZִF! D]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@*\>d'n 6{S)ƉJ7g؇buOi*nz+zI-F0UkPDo(.x)'&7`z<0Tdc3 G"s<$)#]cphI,L綏!f6F C׹)*P@ި2E4*s~rN+"NJ:~燴ogYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.036cpu=1.668gc=0.000eO>}BdL3}^}YZ7zXZִF! 9]ŗXi%;3 />Y~79arGDb n2V̞ Wmjׇ19i@9!TcZBh.ωƢsS64PF8 JGM k59u-fYa??,6j f2v L7,Һ??QLKff& JwDptbсF\K5 [A 99ДHuwEo:ZGMsjҺK,ͫoA^Mt&WEek@s?uS<݂Ld=R ҇2Z&# ( n$Ī[F*LT%#1OSdkQuWZ(Ysj6.ƚ)V21=y yҨnyCC3-TXj9mH孡ܥa@ӌq4ആ'IM}04cd̻eP=Q'}SΗwfkk1g.} `:ad\7c\0ԧd[ !4y]>"e JՒ=QN6=ZBOD)9er:n3*m !>u>4J rn29*? xn%qOW7)ጷ=1Gnw+A} fuàW*p Px m,jRS&N(܀d-;Z}iPZA@0r~{MC?/.db?)2֜?ǖz.?qb!])#}"@5Ikay.?ば~Iz{+Zs͊sg;$ArgONa,Z:d~9(Ms.gYZ197a7bcabe1fcf62a4e696e5077b3defcae1f73c665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 8224ce1eb95b7c9d3c0729d27185b853d3e80e88 d4ab5babf967a88f8233a72a7b7ac40b5e7805a0 35eeb98ddb24bd19e8b3360c7e2244b48572f1e9 6653df28e8a0be17833524d3b768d8cce6798b5a # Minimal_SSA