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  ]% HOL-Quotient_Examples:threads=6elapsed=26.468cpu=40.228gc=2.440factor=1.527zXZִF!  ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%1 RIE+ofɻ1֚6_s_2O}lc4A(Č',WvEШrЮ$a 2Xd3 /LVfm K, `Z6^nOlL34la225h ;=\;8!V #\TVT0أWcUu*Sc'oM\m.QUsأ㣴Hʘ`qqgǜld启FmUUE0F&GMMgvՊ 9>]lZsԷ@ؒd_||X[Y H쌉?Ϩ*~xHM?V~gYZ7zXZִF! }Y|]ŗXi%9(Io5_OxtBp?^K<cYLmR ҪcY='bU- KlL'I4څ*%Av<2=|8Cև{ ԹSQMMh#iJY?Q`O#YA,y+V?'].-<߷G})%TYBaB+]݆-="nkO%hl!2hYW0GiWƫP#_0y`5!*x.PSow"-h (reJϐT[,(In5^i+,rNG?ѿֵk?j$mзmd :Ǫ->Lv#;^˞1:Ιp#婏< IyǬ9 t{96Lw'*gptnrE5rHh^=sԤ܋kxEC"rs9 < ]'֮VLy*@/vۂ4BGRv C,$^eAGIZ4x;FNBzEA^wEdx]!Gװk^tUEݪ1U`?\ǹ7 <&$%--&SeaeUoLf3_df,>jAb0o9!3j+5i 66FpB,CV4d"CPU1.qYR_ARI2.LDBFC]نӆ'!О>YN-Q4A`{b#@t"0/~v6ͷ3/. =g5Ý軩fFᘫ z\R=:G~1oj/}܇λAVq{_ޣPI[O !;Q9W\E S4;!' l mw锽ui[_G:\[U%^38t?UxKqGODO]8U^:`_N XgYZ0f3f4edec4c4821365f0d907347165f5d96d6cf7247ee34b70883a3fa10ad7a52a304d82cf858666 79d8a2ee73caa6ff9cf2e41500504f89e401487a 24c9ad8d0282f4fa600656d69b0c756f39f48b48 0dbd69aa64c95f7ac9b5c3ac489953c4dee614b3 3cd5bc3890deeab13b080bd4b72d7c162f962f1f 7 HOL-Quotient_Examples