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 ))T# , ]w Minimal_SSA:threads=2elapsed=8.909cpu=16.516gc=0.456factor=1.857zXZִF! E]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@֭m>vPc[4|;pT8dEe$sVQkTʐ3uw 3V@]Fu-_J?>+__d8o%g؝f\.,C_!-@B93죡\prjQD-A(6D4,O}AٕAYy꒰z-Oez),X%~:;ώDb|[vX3%gYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.053cpu=1.784gc=0.000YmfdL3}^}YZ7zXZִF! >{ ]ŗXi%>gg>^ZeH+" tF`junO-i?6?#.q1-㪠@wqAds/{=TB26Iw@ަHG^&DqgҲM.6!WPc`\dT.z _C8`؝% SncϊOcH.Qb_ƄQ6Aiti(Ɂ8W<%/G YBWp=Y˷&O{IS$#A:8-]S=d&OC,(Ltg27nʡawj⹝36Xnx^ > tYd4{̒+1ߟ[?|H 4WC8w.% P{*fM)(Sf⪔MoL&!Q;-ePac9zt&:0l@pEGмEPWt_m.6FUP]O/wH*@ 9*OR2-ǧM^NoQ;ߠqL2Yy#B"g,ߢ5~l EIAӃ*)V)W%fM8"dDxEB_h2ko:cښުiKaEBv08Xijΐi+܅1*dԦMy3AQ~% ~fGA'KLӞ$fvul?Gȴ6% }n԰+ꈿ';!%og}j4Q,=6b f_ X[_}]84)32G Kpp!VYQP8E~KVN|?[9XRdN1t^#*~Nt5S<+A!:v9<`K򟺇$2ysmY1~w?s4,9F1g24r7uyb"6#<BO`H!4,y'9X|m\gYZ1281e942bc5579f08fb9907d1884776b399e1339767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 9bb744655530c7dac052b5a52b1435eefa0fe0a3 2091c877e07d76f0f3d31839cb52e618b255fe62 39ffbac790bb4e8e88d027df98cd6cfb5dfb48e3 801b9a470c15469110279a84ced678ca8b060a01 # Minimal_SSA