SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 l# 4D ]w Minimal_SSA:threads=4elapsed=5.885cpu=16.812gc=0.280factor=2.867zXZִF! S]ŗXf[&M_4(dWW7j}lM:OGϔ|%ݔ5rdp_?BY x㳦r$ua* V PG^ Z ok\%8LBΔ}i?kuў@x;.%0bE,X8CxIWL+#+Cb$#9ڃ+>:7),CrshT. xoz{tq k!kVxXPi Ow)v ?N]6OYv1L*A5zMml'M?w!S˭D.%+,&,\X흯gYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=0.885cpu=2.124gc=0.000᪅?7dL3}^}YZ7zXZִF! 7]ŗXi%I o9ޗJ hl (m=@UB]̛,i&]<^+F9wS+)g[S[lBsxVQ#6#|Ǘ[D¿P[B\oG7NI-h_,/0}v3' $z]q A[X뫯p5v$+zD/tt6Xy4Pec~\'7> '1<\5\X杈\v|R^9dU0u1-BIE;Ps07bPa˞UtM}}d4E{NnK{h,ɴ!!%! .k">l4Dpxg%bUV+A,fXAn8+U@z3O=nr%Ќi:߽tң]pDP>>Q7,]ҺAA#,*K]=k 9Pj5RȲ!*JǪ:ܦbE>KzfzmvD`Fऴ.Fbf2bT!vSH띟/ކqXIww/ |Y%a-<doץi{zZ }lAX\HƞZXX y M Ts|Y oAS巁ÂĀ%|vtu Zfz2.~Wy*9@6ȚaCӝ\ȣocwgYZ057511b8663b2b0b6c949ddba8a3897085200c3d5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ceba0446620459e9ca50e1e491e696749bdb99a2 d22d656bec329e50ff82e6a974b78e6137bd04cc 018ab1a0898016f4abab2fcfdfe93d1142125404 b845a046db17ccc35e6a5a751f1b47ea9aab2615 # Minimal_SSA