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 :7 lt ]% HOL-Quotient_Examples:threads=6elapsed=26.746cpu=40.260gc=2.452factor=1.517zXZִF! o]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%kUcʆN?E= lbw$ 13Ԣ+pPJ|q`AtpY= Ig!8s:SA+ـz{㫊נּU»4yšJ w[aZ 6V%nJ{ O[8M~.M[Z՟4CYkُwZ2hb; ˀ׾% szʽ= 9[oO;u>ǩO)S6^`Y;֋q@n@g(r Ίf"<"KoNm|^v@bz;"jH)j8ٓJJ($VS T-Wiya@ _f-ogYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X [A6myKgUYү,S(羵wc"(u?I}0gS*RTRAct AbZ a\gYZ7zXZִF! ]ŗXi%9#kcOs(Pp F"Im5b,K: 55GX6sȄ"_WGzxaK EfMW7c^{?nJL0p4G*{0)rb-܌ѥլ܊BYHV>3g~G]ĭm/tدYL_AD!Oœ[dFqUN.GkMCwڛ;dn!r!m5{㽇A򔏈9mE=EMHk껔 ^Q{p\)O؂c0$ XwƓ{!}]6 (9( :q-Dv-}]d?%O7:ui{leK)+"ɑ3/J@J&?&*8'ɒxQ>KޭUmIFؔ#!yx[!@T`tVp%8L*=*c~KdRDLV"vTugQ N>5;UDUIjW$Il+)udW&\xyK݁N{uZIwBi\_l^ȗ1yЫn/kTv̏t7ٛ!Zq\/o?AIlOԻ 8F/Y0[Nd<({gm`hZ1u<ܔI܅WEi}_3F>N9H)j`BueyJ 7#gZa1娒a+n :4r^[0ɲmX㓎HR'a>@ǹwIiwT0p[D2;F}ykEzkKq&EL$D?̊Cݒz7^-7&k+je?> U)OyN0>GT&8s<.M*ں[jDPjL,|e))narF>TKˆKnQ7t܂$i5LKDkYŗtҫPt $YJŏ̾FQV Z{FicN&pI`Ċȥݩn!a}TϘrjyp,AƉ2|1>Kl!]^.:K/ky?Ю:HE=8?EEt>9~_eUĈ(Lm^+NG H܌psDqCx[HA &JɡuP,؍STbVxPxG=I2qKLdVzw[۔#5eu΄HN ٢._0aVwU:$\e-nNj:L+ɈYV.;+^%HHU:b >俰Аrٵi&dkՌ ̕agYZf9caf3893023c957761763b19c71a03f1ecaa3a51dae994d72a426784accfc4f3275f57abe406926 825dae3757483ec2a6fb4864069860afce4ab143 54b2620f295f821522b54d40e2de4ebeb1f36549 f775cdc18bbdb961e9ff65e445ce0751d39f5627 b0f73b97dcb0460bcc41e81b11845ab4d5441abf 7 HOL-Quotient_Examples