SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 \ c% HOL-Quotient_Examples:threads=6elapsed=26.691cpu=43.724gc=2.140factor=1.647zXZִF! ]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ="!\<)[/#&]7cB'E^yrM6Vgo\? L)"&XjW2X~^>@NİEǂh-1<Y&uׁ(*heuXK?yvtry%k—JX٪e;?&eM/YOڂOJC݋_s_%xv=.ԼbaE9h17gYZ7zXZִF! n]ŗXi%6j-u% 6~2%"{Li!dԒ=,829 g})ӥ5{|^eeO:XԴ U5TI@Yv~YMFShv0vR[S$G_dmzΙ@ֵ2N ?O@7( aHڻIsaTm77[#}$P ]JdYV$p2#xsH@P֒TaM&kҗk G))A߽}Cmb]0$Ddh`LxfeP0=u\Z5,Z kҞ}|;Ey朙V @CvF99gg=ZMyq^xS*M}c]KeF53`@(s5N2>{˝؆D_A EFE FX-*:pUR'O. qE Q((dž#,Ԟ[\11hށV =~B/#' Ǎ0ɬL>:P^RvOnE-Y4bG8U_ +! gYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e7407bc5e422d8a419d0b388063e4c67f943c36ff 2953192c9b84ec69949efc0b47b4467e087e5b06 238bc295d892ecd6acd00b8405a302c69f482fc4 db0744869ba666865b0656c326c10747574494af 98db009857c7566241d63e2146229129b8042ffb 7 HOL-Quotient_Examples