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 f7 4 | ]% HOL-Quotient_Examples:threads=6elapsed=27.336cpu=43.808gc=2.808factor=1.607zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?DS^  SBr~'\DWӹT^m=8X s^|k ?12}w_~]j5@;] oڰ ^{ӂVBյ}!,z~i(6٤m"ef|CaT>Бds'$P^:Ȳƒ~vDBTPje}1myƧ .ZBnt9!4Ⱦ>/zZAtJGH^٭Z<4h۔ēKJ xr `9e^M2}1zN <]sGsJA]rA/ p"9x'Z4kB%AO'D܎ R"S߄TiOtJ} @;@t(YO_L]p6 tJl/308Ì@F K (*!53ZCR3maO4-2 й]Z"D c1e+]bf:k"g%]vag)oԤ(cb(sOz=?+god"DQf#bƂ eKw}k'riz+aCEqs9uAI-3HgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X}^e=6.(X3UXT8)kz. HS-yanw#Zi:|kkWB hNhAv0*xX{>9sņw}b.`@p)O@ҫ[_V+|Hc@e v߬]VYKoy;;V W_`7tgYZ7zXZִF! u]ŗXi%@`n;osCD5ǖytnۻ!}ڄbơCSg|$U.np섂̩W8)f~ Tҟ7 I}? =V"ֿl+lL1ԬV.U[s@g2T*NK X`YT W'̳v[>SVUhɹ ;{gy?)wM) GThJJF*NI9Ѣ/ӈK7Æ4 p]+\C[\ֆg^^pɯʍg쁂5ao߫X֞M#smn.k,ޡ}Ô#:[ٵ7,v3W)m"5B߉N,%M!UƹWӖ6i 0pWu*vߦ0) ADHK!')8ݍWG]I ?AQ`lПŃ\3y= `[Vm|n0{M<EoծǂLˠ*%snI^y2jdι4#u/Ctoml_yZtԎ,rCTܣo2AJÔd"wb+=NN.Lί7)Uz=(Ci3{'y8oĶ˰M}c>P [|Sc]lG&WќWoC5 ޤZLUbY,r%k/~T J8Zc!5`(:}af삷 ϧJn^eA,?6&mJiyǘy(5jzKK-]sƇ\Ǒ3Kٴqc*;tayh1& 18a"\\rC03~'K`'&Dru,98M{gÝws΂ozA#Ԫdhcy0`| !b=}"a IH}$abj`މ7I6e\ u$g/ N t&S9L43 <-)M O.IJqz]h~(RnJ8[P7TflV\3]sS龱/a$aͮ3~mB{Sމz;le0_B9~\|UZUx JgYZdb2f6ab4c0475dee05bdf0cd780724537f2c4a517116a09c3302476e267ebb87e641eea8c606ca65 6b7362b3dd12dbe0eda47af95af0df862970b0df 87d3b5c85652583d07a2b6b93485a78e1a9c8732 c0f4c7d5fcbb080f55a768a8d15476a8ba9228fb fa61e8ee6877262819e1e5a30826cec927e440da 7 HOL-Quotient_Examples