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 B7 l ]% HOL-Quotient_Examples:threads=6elapsed=26.438cpu=40.080gc=2.484factor=1.527zXZִF! |]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%V[32O;C..R|  0d e :Y*f-5$D'Uqϑ9#(۬9@/T=q;p\X8x 2jMe hIZ\I)O C∃77k`tx]#BsXCֹʏHU#8h{ӠJ1%n (:WDeM7ްz`N9 9--ÂgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X!;#H}BF)zHJtAH3(B;Z /UlbŇt&b© YA SV3+.֜Y+dzOUW,Z9]UH5/}7zkKRΎReZb|> .^]i,EjqjvbGV~gYZ7zXZִF! }V]ŗXi%9,vT/C  Iُ, Z6n|.`V@aIvR=%u(׍mA~דne92nXC9Z(_?'AMc=Djvr|+]`ũq yS`:k0iDUj,5J5 ͔zLvۗ9ʷ$0Sk$~?LL#F<ܴВ+h?="Vb`,OV3 +/`)j6(tՀ*$fĴzhm. ;+wqÛfP~wC` Vc 1!!y q(]*^fU΁U^ i?]9` L# .`l,z懢ul<ao^t,~xQ03:Hd DZ"G'XbDaNh<EoOA @tv:ݭx1YDAcupd=@՗-%\ŝp4>SwKВҋO:fz f(>V]1[&a\UɇUL '((j='\۪-+k*B`#/<:M@"@l>6gmbR`V9_ֽ6#FjK M'2Ci殈uU}ix_i#NpJ}vj#N %#6~"A`Oka:"08yv'0GkNL0`בW& N@ʎN V'n, : .ڃ٤8\"χ1 ۻ 8(SQ/Iqway5DqMݿ7,T&‚bL@a6؞yfjKL.%,Bx$`{:-cc$X+?l en38ˋ[4Q~َ>3Y~da ]0 * .my=-Cxt0ojC[EH]5LPں@ 4u"M -k" +c&ŏ+Ɛ Ajf߶cbFS[s9ҹ Y9w?FkmM|gmQ{J`xyY?Pw y=gYZ017655e3f3581d6f50bb2d4427a8afd72d18a790db456e2182b198adfdec654a00d5bb35f7784ab2 b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6 e74b8d18e2ee0e40531b2cde3a49dc94e114f93e e46cc64adc0d754508f480ecf9b0b85290d8ced7 17d14e7030a5ea3df71c711e291b41eea0510ec1 7 HOL-Quotient_Examples