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 <$ ]% HOL-Quotient_Examples:threads=6elapsed=26.557cpu=40.612gc=2.548factor=1.537zXZִF! e]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%+ D)Gm2`Q^y `nBꧣhQfqߴdK,٥^@n<,jdOL~So&c y!͞c ӎ$>y<@"yfE1x7X1Ng,D+@+Ѫf.k6*[&Ӎ M9e+JA >䊗E_{Dd@:/B$'_1)'7k>s_N)*yǀnYy l֫߰hCapzփ;ƭz[=*Gq*VEsD| c.l(x )F\K~,[ntD BRH)BBy_Jo'&^|~qHB- CK QjS::V0n3VS-M>rEl6nFرt0lH;B˒wpnq"_LZ;x]=YE{h DiSaUMwT8Do=wf|ks@^CdYRK)aL'N/ D Gnt.sgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙Xq1+׽s}[NW2t{LX,r?\@~{b=@X,v[BP$%Qo9Wъ]NG ϒr}_z/^7HoZqL\(I6F{u|Anf)Η ܓ9kM!}J8}x5tR[|\漑%̉#CaMD}m;ow6H߳ӎv)M`N '/U3ZK;ok VAX9%xB?w?%OQ>|UV :τX[91ՄV!|]/!m7ę'>/ i~msNPTsjp^+ō-j]ݲέkmVgtf!^BM-&nE3/Owb\Jh0pB bI0^{q:kR YVZäI~\ ;&rE[`U( 9! iY!hOXz[AM!Q*wEdKeƆDlHJE;P[^:C(پ3ȆTN׋]Ux+׀%[; B_YL-ߚ[]QqWG ^{Si+- Q^C`od8TVBt0:>$W!_wRHhD\bTbHA,7.c`T ,ͰWow`0.3~rތObn㶕ώcTap;!h@uxaQVˋd4ZBCԦ,!#wgU0탦h-k(9H"F7gXqOvײNYv 1JL/R֨u!Ưڂ&eVPY?(̌V9KkΏQq>aIG0mog407J u3d8}V8<كn F`;L$s8mbWib0ecV5.TruIfQ izvD\:'C5TlOp3:JZjw`XeQ;2Q&;  -6x)r3KrKhR5+h`Ĵe+| )mdÇS dkgYZdc2d5922b7e2ef361fbc4f8aeb91a6ff392680e4e331a8fae316f048422d7f7fdc239a12eab41778 1cd8b7faaca8012fb544c442bba2fc3cc8a6a56e e6b48b35ada7e06f1992b89ed16ac9e19c53d321 55a9723c2767668f86a6c877f2b81d93683aa1e7 19ccb0948a1536b125417603345349fc85ea2bdf 7 HOL-Quotient_Examples