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 tL ]% HOL-Quotient_Examples:threads=6elapsed=26.141cpu=39.592gc=2.448factor=1.517zXZִF! t]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%aCI,^,&TGbL2AC**@/" x !P`nKG ;ǬuqaQc*ۿ*F3Hv{#g@/*KǁB8g:}Hߤ/=t•= O[[qJ+%5vgv!@MbS/[a7ICL7 R'~u"x:<2QCaiQWFQj^z*l<qevxIm'so)|6XNݾA_LJLCehG^L:+eW^AqBx  pP!\a8iSCBb '"fK:Vx81G f$ii8Gᔙ ]E?e[ĕdyc΂FJV;;naWHSX\(8qc^6)vb)ZDcQˡ`L藨#\+!gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XƤz1{/;'8 uéq<,4}O1v #n%?Y&q{1I;I 8TrW'#Of,rI;qW77E Ŵ*қY]%!"\ %MJ)G v;S{ۣL>#JV~gYZ7zXZִF! }\]ŗXi%92LPAMъVdLޯgpLguZeaxlgrsC F3\47*1!5ߖZz;Xx~{ο``!bțA9m\(9k~dImԊeLc0,V 7mu<0م65G@ؘz~̌e,m rc,nQXGXC.#Y銎 쪽$?6*j!Uu?n#IQKJNHoA$nZت7?"֤FnW2.u ^+%T ]89ǡYqEWA(tRղF^/ 3H⸝LCGL|*3+?MpQz Q?2(&0kYנ!`q8C^ctsn,N*(Twh}!5B-^G*C`P WrE_sVBlP\8q'fɱby㓲Ye_g ZJeV;K闖11 ƊoՑ bZжa1yu_7:%щ? )~3_[F7;uΠ"nX#h1w¡it.ꙏ+@Snϗ>e3.:kk*9$±%2j2}~\9>]"FQ>M./8gE8cc1ro^kń\yk=㜔9YeoKK=ruzp$>QC?EH1Q i4hύ?Z='G^uTޱ }\1'd?Ýi!$ոWdz8qIG}F=xGy?c;{O;+T?~L)<@t w 9=;S^nЫ`z1= Ι"UXHQcS_ʥxl)? ª$0AD8RD?ryhk|G"e0`^\G䚳j&-_\"!Tt(sQ@[:^_5N HlU>K(! 0PJg]h9K*SҸ7?z.̽T(Qc8tC#(of W/vqA2JI{ نIT W:j9-\&4@e .rkˮ9ډ b8wh686F9Qj{K/7mDŽ>)dNH1X z5<Śʅ"8/\ e cX霼411g szgYZ29ecc3b39ccab3cc85cb5079cb9ad2a40476263d19435e7761b5bfa7535ecc583694b3b77ac13312 d3b6a50d191a438eef0407441b81032b5f20e8d6 439efb9bd79cd758d1f5fdd494383e759b5f1184 21f8d44518a97afc990a4fe61eaa2c22e2f98ed3 463328fe570129c0b391088072716980ed4ad47b 7 HOL-Quotient_Examples