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 0# 4L ]w Minimal_SSA:threads=4elapsed=6.134cpu=19.016gc=0.264factor=3.107zXZִF! R]ŗXf[&M_4(dWW7j}lM:OGϔ|%ݔ5rdp_?BY x$T8Yɢyd: }g; :W4ΰl9yU%})"O Y"'aR0QqhM{0bG+oDRоW7 k yObMn5Mè/,upO1>M0^x;ToJObQߪ݂/K ?tDf&IC`815~S+v 'NM&b`E"X,4^U FUAX gYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=0.918cpu=2.400gc=0.000W9DdL3}^}YZ7zXZִF! :h^]ŗXi%L S#!o> t*?{D4N< KQWȱ+H\j&ZӶ{ 0/*CyDϡÖQ0ƛP-U)B] Xabmm]ܒ{ŬRa3edb0(u.<4ͨX,l^l1ֆ|8az?qPDC %353\i}Dz;cס螓:4Њkoo6Ǎ4@s745A,x}F,1N~@%:=Nd֣PN:˧&SBEcz hf0 GDdh灤`Ϟ9XہozYET+)A;KP|,s6 \}".\p/jrpaaE\v 7@zi6K, u~bL|M0x4 E ջ PtL5+դe(vRG8d ?]~:w-uC!.(_+"8!qqR|,6d`$$Hl`Y4B5t &4}5f?Noy ,p?H4s0m˞v!u!-[6 j R{^ H>b,u+bmQ=*I&