SQLite format 3@ . BBh77otableisabelle_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 ~7 4|< ]% HOL-Quotient_Examples:threads=6elapsed=25.952cpu=39.244gc=2.200factor=1.517zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%\\DkPiw$LlUʮ${iS<к"vlc&N0]^5NEie í'%G%ZhFp/Rf#9OG-\ʿ ¡, +B5eƠ8"SR9XD[P2e*PQ]OGY l}!|<6S[CLqGҵ"\^BPp}o6 ȓb6/D'Q&nl:i5yW ٰw ڂzS6vzŦ A,m_5"edaC/BxB;CPU\_2:/+q{u7.DƮgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙Xg`;@7*qa\[SՑ(g^SIEVppM kɛΞO^6]S熔c" f咁0geQCEyRN~oYM`1P:UXi%рYpKDP46Y uW1.CgE[=Sxt/~dzgYZ7zXZִF! zX]ŗXi%944`.ݶ͑vŊ'oJ4 w֊4 Y.4csT֑VߵqP&2:Q`HOzm} O)E_CwD>4C bVZOO V~6CȜ̔ 6 "gXw,Zԝ:kN*Cqx y 竱 3Ck2u*8Ѓs.ݲ)> نd8b3t7KRC&ccbĂd(!pݴr2_C^4shJi@""A0MD7,AQ珊ӗ5yM(~6kznLo@#; |$80~H\"zYF(Pae4x5&,\_\KD~_SnKWy40dPNL|( ,a(||ƴ'u$H!qbq2 syi\w*|$Y^*? =K3$&P1oxHMo>?^M#ȫ6@@*l{@"O(`s7PpI*a'iod0e5?!ޗ ༅Y?Gg fz^۔xfIx *aW-gYZ5aba70f27cfe4b8e22edd180e65e1829f0c2d8183cff46c99bdc77cb69279060f2c6ce1d34c65856 81d7082226527c0f9590bf1b77046bb4db419c84 4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6 ccc2431b95a86d60860c8572e6e980f18e2fdfc2 06af7889e42212cd7bf9e9ffa8156ea0762a58d9 7 HOL-Quotient_Examples