SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 cc7  ]% HOL-Quotient_Examples:threads=6elapsed=27.902cpu=43.748gc=2.988factor=1.577zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\; Hbm4YѪߘ6SiJВo/ɞ#{ⷨ#)& yށZj1 tx|^43HOtMp @be0@FODr2(ofY(|&2x*Č4BNd޲ClcC$<p/&p&R\72`o1ug\fq?MlqJ\i=ez!2cHqb&Bfb0yF?I7zhց\u_~ )##wJC$`)Ƿ%wӇ^3> `;_^ o62@zK"6ߊDKuٔ@5bR78ICWdFiS}gJB^t'I9ҵ(/-_@qh 榏i@$ئ~ DZG4?.={P:˚6K${ - K j3 7(DPȡK?14@/x2,r?QGq62ը2&ƤUѫsw@mII'K PЍvYgs SΧWȭup_ %ÓzU3}+gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XOF$ߓ0s$l{YqF>p\CQlu5"f_pXgĎh?/aZ!_ eEѶiI!AFG(kHoMUD :JD'|r6iie]j+1!끢,TPa ~&om 0Jk>'0&+qȴV~gYZ7zXZִF! d]ŗXi%>V3Nwv{lSy8KvU^)c0D[S;ą6ގ_?\+|cS۱~#l*LAE9.hY㘙6@qR\kw8lܤ)8vk^Qaz؏vo`GYr<)^bEsv>v >aj Gr;\_Du*ʓpLuImSL3'%bZjm+ɝA6$iT1bٞN/0|5̞@jۮj6#V&݈lnXv2!klo_KɧFrV["lD\ƺ0)ENC ?țf&^GZgZVc~@.0#{V1۴#,O,JcQŝ1?[ |k}6*ʩutH%A(A%A֑rA#G"IWAמybP[EmD3$ u:u>ZOM9Rḻ!% !?jȒ ŐiVӍy[MR .+ *߫=SZ5,_\(#X(؞p?Tbn)Oa9s)eK9*R WlLd=Ȣ,S vCfQ>:(ܥiXZAJQп(9{ԝk;ZtqpDFd|WQͰɓ麨(:/#$@ފüz}8-<J^+[w~Q+hT[Bg|s zu7qU]b. Ysۆglfm/ iaLyq=fp,Wp33$mG-SSjB8U7*`t33@w6׭Z4)?-6HdU}47T8-]S|d7/3vU{0!/Xr ڮƙ9/?W> #W&E560$|Am(HMq}'Zї~d\H6;.@tT! $7*rVH^k|Ĵܧ}lg>!?WMwr_#J#"sC"ƳrHyƒ;ګ##Ju/-/j4XSmBX=8jewAfj#5^l' .c$7m PZa+~ 7 :k$Wf/ALk'ƒ#ěyPbp, qe;43KLʙjm;EeR6(p{sC%S Y,gYZ3248895648645eda0e8f6fde01be541a663da27e949c598a2bd1e6db44f140e6fcae9e1de0a86ad6 107df69c9cf9c75c7702af58ee7b77c30164c5b9 a1febd8fff15d3313aa3a38fedb6fc4d7cc6c79a 1fd636c723fb8aae7938eff32ab91ae083e1e1fc 1dbc2af64fdc6638372d46ee138bc1bb7eafbf2e 7 HOL-Quotient_Examples