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 ##Z7 d< ]% HOL-Quotient_Examples:threads=2elapsed=38.756cpu=44.880gc=3.024factor=1.167zXZִF! vl]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxXl/)^Y;f;s,v~9/#W#v K;ˇJ ,vpH Tx*칋mwnQX0mh\a` 2w𮫀(::2g*BNZnPvW3osyL!j5 sjF37f%! r_Vf}g8 }B-AM'cDԋ<h_9IbMf픈2wLL*4,#Ǩ]" <ޘQ z:׀d_3s~gjY+Òq?.|-K^pzW9;8bf4X,h[wP_BygxPb3̺SOPaxo_|~ $|L&-iyETo تؾGDc!!x|;'V ږA6l]oӗo6-;Ji*0 =ױgYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP ϓD4dVgWKVo^_l06isnA~ KJ9`?J\#]]"wWRk4PzH;M$k6:ErϴiYmm̒nBjtmBSDRb{rWgYZ7zXZִF! X]ŗXi%9(Pψo+^ϡM8f" ֏Ȅua{Aه6 abN#ArǏsgw5T?<m(3̅x J@Kj3 'D8]e:66-ZT36ܗ8z*sxmڶD~@[5ȸ '[9}7/QEBau,S~xe(# >A[D]s:P=sr:2t<ZLHun ,$p]D7EI/Fr :Hx3Qϰw [bR E)zyQM6$`ʢh~NM+vx7T"c狕|g]* ﲖ~u+[Dq'6KK>D^~ ØkZ GLB>3`.TpGr ^ibp!bak b,Z æ+Ԣb(\smQ4, F~Z{RBg膕fg˔:"u%s?m-.(^O/c<_&4@~̅pXATa] Ũ)f.6,ev2钁8=O -+ s:f$OQUg"Sy)| . a|)6A淔b3 MƗ" vLg\G/:'n3Mnu9>ʽ<<[2~W8*ADC2XX jS{*iLx/^1U/l$/^ 5s9 Yܭ϶Ψ[xr>X&h@|~IhKCEL 12EHg2d_#?(h|rtܮ[xJDsw<AE2FpDhsu#챘lҎ/^:7Cs"mG$``WtA2x2}7=%O=S:b1z)|C.3 Wk%-&WT.wp8aNQ@_"ŁTp| фQcV?way F2޳m4 ./ 'GBmgmǭyTsl3AuJ2SNj>xF6H\]>fQn΍ط&?kOcF.D뙫A4$:mMl+Z"R#*)x5j8]Bă6;=;U!ȶLykf  vzgYZ48724858812fca7f9cdf36237309ea8f857fdd826f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5 17865e4fa9f9d73f01acd06a0dd05a886d394435 55dd3ff53d2bea5d5c897b5d7d0426b7f3fb1512 7 HOL-Quotient_Examples