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 N7 L< ]% HOL-Quotient_Examples:threads=6elapsed=27.704cpu=41.520gc=2.472factor=1.507zXZִF! h]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%į D4^xu`~x?6U4Re^ѿS<5zPN' EJ${hʧ.QZMOBWoԛ6ujh8\C)n  x B6z5&A,475Rnigt3(XD. K2FHJ:S_J(]h6EB(j;p\5}BBΟH "Ye! eMQ2nӅL>^`| uV7t4ACN' EXMLuֱmwX_b(BgYZ7zXZִF! a]ŗXi%;Ŷ =؇qxѪݡRWfCZqb!_̌D9|Ϧ,}s;v pϘU8 n!sӅ%5WDɕLY j.C><̗W;`\O(ehDBKPs u35/`ok]BQl+xzmǂ@7i*;Eܦdq*sH>sQ8Or.b'J%"WRG8z_r <|Vp;f+S~uP؝VWzB/:m 9z {dk;$d'c9P> TmSYUxOi"uw 2E4l!Ut] UHxl]!xa óKnQu)BP_ഇET~?NMC)lٳ$,0~SN'9~'=ՎJ"`Y|>7#=E՘`c=#A=țg"EqCRW-O-ĪYd h:V;âke5 ]J=HPҤ{)C+ctw˜$}/G .hLmT =qqrs㰁+o<,樦V_ՠ?,Q{頋ϧ'EҨnv#;bchR#h <)ڄey#d>LSF}o$Z "FXR*>nE/pgD:P}xe{9P%ayӇ[JQ *,j8N<)$ 3_Gݞ,MRH+g[FF e9X#?m}2 Q0Ib(oC.ؗ|^JkŇ|~CGbYIufeW-\൉Ihh2CMWf{PJRN) N-97/:]"g-4<(2lFeM-N挌՟a-OtEqY4e_0/E΀ڿ\IH"#;Ҳ!#vg *knlɜ91l½}[~،֦\v&@d+Y4cE%h-BkfXlD7XZN&60PL ˱N{:dϹG(mD _o/y BgYZ56ae57f9cddabe44c455105eb9226c66bba4bebe6c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 bd9e806d713320e48df8a9e586a2a05529fa70cc 83283116a2de2f1d51203015a8a0d42cef416071 63c3b05286952c0e4ed5fbe2abcf8bbefe8decb4 bbd8570ee0b91d4190296824457907927620bf5f 7 HOL-Quotient_Examples