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 ] Shivers-CFA:threads=4elapsed=21.691cpu=68.520gc=2.944factor=3.167zXZִF! y]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uy@\gUڞ-Τh^7^2VЛ{U'7_{^nPTVz LL+JYCzȍLd3v8{ `y!VC͌6F3gm?Hcnۏ 9T qZUOaޕ-A^+4V~G}\sE^'<"Nt-NT^ Ho 6繳Hp3cSS;[y+nf(ԙN|'2i)톋OiD=EQ.QSk0`=ˬ'G2c$ZqjVvI]q"Ύ+f̮tN,,|N`,{;j?0s_L+W.3Wuʣ\#@r[Ďuzƍv+kbQJG= Iu99mճ3׮֋w]˅yꂇMS%@]6o?3r$LRbeܝ %y۲")1|wtd:*-.I(_Dv= ֤ ?ñn(u! H .!Pif"ty?pV/$AK%F0LbalB"y#?yMIL9ÎQG7|l/U=cՂ+,GgYZ7zXZִF! OK]ŗXiɟ1˦rnzx <@0+gMLc^@Ь>DfUa_vcb*%:Z٨A%L"L ,>)U,E'5B醤Tèܚh$Ex%E$~@fMCd1 1ǂL!|݋;n^vlJx8IJƔtKNb=ve SWm-4'SWFk d$L4yWV:[Q3MZ!$?LS"[Z: 2h-4"YBZ#g}DgYZ7zXZִF! ]ŗXi%L Sn<+3FõV0a8ӢLx3;yyp'[ Pឹ:1ȕj/5,hȟw?t^|oG`1.;hFr4`y8?0U=L \xT(2Oj qj ʸY@}R.cc̭DN\j.],Ľ*ԷԔt-a s ӹ%m.d3lKwǸ|=kW~MqJ1`n\^S8LV29;PLb mx4:), vc[G'ecJq'_wezL|rY}Q0LdY%'(+ d`()[/OVvX4,V *~Pp/c8IrΘ啩B12՝7|N?&*UL/.t`dᖍY֦tՀ&t'#䕙 4s1 DV|cJ.*goҷ}*oC/Mt!)Iy{hAC,DD[PKċĥ;-M,Z%z{E<<>s8fopdwG,^۞hS?L${7x}@晨 3)Nrh0P"R -G xЦP"=˾x?C-4\ KCd>pDQj{ b^ Sy"zJe>\PQ2„Zcrd?l̪jKNk? _dE޻K_z{{e 6ȵxM@a 硰 zϞxm°O.I'׾0ó\/vW&t/#-`XFݍcb[ff{O.](y}*1Sk:h;=Ş̚B h Qޅ1߳,M [&Ql _u#0-HPCg9WL\<V)1r;ՎuwO q"';"ȯu晒j"F;yJ˺ط`ۋH>x= C <ʪG Jy Nԗn7iT@ZWZtL_P+Ӏ2)œԗڐmY-f{].>wT ڼjW=2IJnJh8`Zb-QcN| yx6rgԶ~hJ3L3 k&xgYZb0a293e929294ac3b24812df2eb24151a06a81d7d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 ee58ad68a2d8abc3d25e6f08672dfb15b64788d1 # Shivers-CFA