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 WW&7 4 | ]% HOL-Quotient_Examples:threads=6elapsed=27.921cpu=43.488gc=2.832factor=1.567zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\9Â3yI;e9>y[x~*fSEOg/0 ~a| K9S>lbW+263ĝVF}L ap$P6ISًк? I.V-)5*&P 12fB|l`wOdB[)}7Mx `3{xgb!> ^ђF('^WREw#o.wZ@܍A+D~qʥ\|? ێ -+}J#DH5rRWq dk@mp\: ̚"T X֭:TBH)7:[?ҝGހ(?_~5~1mc)orK^'ɟieRY_Sҙ=5UDӐ9 lm@1ɒ(aFY?^bU;8klK,6}8 bVZ܄ *띃cIW$:ҷU[jJ~)|wJA'"m`"x4 5vso[G{ϖ|z*t! 3Ƅ/gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X>O562''t%fDui")Τvxtvc^-?"Øn j!Շd?ͽTMN=wchǢj\ q7`|P@֜`TKʌcHoBvF|Υ6;]q6Ӻ;P a.P/!rD~gYZ7zXZִF! `]ŗXi%@Zq5/2 )']wYKΦUj*=(XOН!ʠ m ئ=xVl//CsN m⟽.q) sr QHͪ+Vl$;-O/06"Nnar{  C#':1[sN*R9B"_jZ؇iO ԒN< e@PL{Gף4+Ļ`_xج0Dr!m3U5u&'1Ngfwz(!ꛙb i@ Eֈ {~Kvr9h/=&ϖsp71DwBrF)RLX%Lߎs~ƁFr~̣utmfvm6dOH; A/kR|0 Ԩ}e ij!>h]Av{.TgQr⻆x2qE%4Wˠ[`jھ#V]UET=p;_4(gw>ybI׾Rq5IP]ckHee5hQO:ΪOޑZ`IxeI=¾^[,7,dzݛ '^ns@K[M:$@+"a a x6K>1C uC+7-VeKJ,%z8*feydČ*:/L˜ra7пFXjF>Zܓ)"yXY|YV)\>&٬:X`jh6A p V#}]@#Hl>.!`Hɿfi+ja@#%z/&!t1#?:2ړ7zd^vU } SMטʡ -=*(jH69xwl}8'wXZGg=I$pojP Gdŭ#'9F›KNtqqv_|xAр?[em8,d)s/쩍6?!u ; ?C[ 0hWkmCpo7pt +Qn,?W]ZJ&lփtmO_0 J'/8|sJV-3n e넚Hmww}9Ƕu;\|P(mq34 F~Q&?UgJ ~Rm.>z\F4q譮j 9PH ?ihKc+#j4$y,?E2/r j-ʃ-HQ3mY,vFp?6"q|wUp؆W/V ӧԗ:TҬ@: 'd/ $|(DoXC XڱgYZ6cb15794f322932772612ec00d561996a0c16a2982279e0e1adf83bb56256dc19b76e613b9ff505e 63876a40702696125354f9af72dc0450e7ebf321 55b5e5a6df082aa55ea3bfc9cc68b710a1940ed2 f80a9bcc722e5130e13168d07bb0555b9fdb84bd a1fc35935183839b38b995fc1744b7653ae4c685 7 HOL-Quotient_Examples