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 P# 4 ]w Minimal_SSA:threads=4elapsed=6.265cpu=17.536gc=0.292factor=2.807zXZִF! S]ŗXf[&M_4(dWW7j}lM:OGϔ|%ݔ5rdp_?BY xM| ae&tݚT4#6*_(SGLSoz""||°dɼ.ߕ5"w4u+><ĵA0g0$t2J9ϣA3oc `\3ZnAg^DHFbPI.no y땣7N9e%.vhS|K=Ȳ(WpE8G.I9ȹ N VՔ`q8`5}~X @,yg&dgYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.213cpu=3.036gc=0.000чjdL3}^}YZ7zXZִF! =7}]ŗXi%B !4˞ԯqzScɎhª.R[fՆqh)Z6%n v}YUѪ,(Wϼ2um,:^Lত 9u"3l٠OtAΛ!2V b\v#ʲL(]%#d!"EsF::ż8XQ~#,Nqi~x{ь?6,Y/ HUG7]_jb#MsUO] qܲ~Ϸu7E̤+Y3ٵqc\>K.@Dzk\YiPCm+GZABS7wa P aGCݞEo}ոTga1 7*``;VkDRz. e >69"\XIFxŠ KJ%E7rx>hЈڮbx6 ;<ť*,syL}6h@' ݺ%LQWIJ֬SB!/Cɯ"vDD[d ߷nqs'ir"x2[) +UkSMW#@BNStOGaAJoۥگH;#ZiCtY{f3Ӳ{ G 3 -be)& HYq摹=A]P-{ܬR{ȯB@X/:pP#=lWCFWԛڱ@M7cB8x-wa^Q9`5aAn)}L?2M Yh"؎}-h.r2zz:ڦe8.=Vit!TQnqx)86D5S:2XV؊:^njONTnr& KH1[m<=1|OoZ1 圩sd#vM  œ9Yu!HxZG˞KN@$V-- #!Ba#zI4@fvI#0aX-F63JZ 0_C]{nCp0ɐmLCl{Fyhqr+^ǟx+Ƹvp[lKq/q\f zzugYZ23b2e1aad2d8eb74b7679a60e6a482c3bca074f6c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 5ed1820aebc6e02614c6693ae9e860ae9bf545c9 bd2643a71399af34e9aaf41f9dddb7d46d5d28b5 e63b42208ca0a9cb20955fbae605e4748577c621 14dc09e1c875a45cc444bc0a263f8834a4d8e8ba # Minimal_SSA