SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 t c% HOL-Quotient_Examples:threads=6elapsed=26.528cpu=42.552gc=2.128factor=1.607zXZִF! ]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ="Td?W34 bG;>DQڲJ!@q(l?G&ldIgzO Ɉ:>?dZu / nPwVwpnI^ ] tN* j0Ξkz6w6>z%:ʤO/@FГbAeTcsjĩ]m Ǡ>u. O0G+K7k`2ˣK9I7[ts˗"VD|*8ˬv}+ϗd%{\G^ ؔI0E 92~kPB\(ߧ:,SO=AdwTs!2v$>3My/A^P%~qJku@^ƨ-!容ς\Z Sw>T-Ѽdڊwfkn*́X)/Sܞ[H@MRI"lyڦ3@E0_Ŀ_A,r+&ε(z z/jΟC TJ/Q~=튽\lBq}Ƹ`-epb:kKiVGFhRQXbN)v-E1##T;#1ÚVgYZ7zXZִF! ]ŗXi%_~8RcHsnM&m QƢ%0nzbGyg/83jɞ͡=uG&àz1]1#p?v8?ɤ[T @HR]!pߖMVoY9%t< $?b D&aNo_JdnbQ_cD(FI!k@nF4fk]-m)ӥm -mŹuZ|454K=$t8SF -w8rJK?2D`0w_dO.V /=s O}: 2Z&Њk5 aJJӎ l2M\wl\jA{2BouB"nlV ⁄I*!{bE'zH9M|t&I_3TSK\M~<ќCp;C vP䊓9zw;f7e{ה$Q_^5 w$A2FU1d+k*LZ ֘gق{ %'[_ե}4΋à>Ni1x} bkUi₁m,$Ybx0FIx4Ɯb 1ȐUѷP6iۜX{0=VO:dЌ:=7wOg:2r,iZ[J4ؚ͏stE'l 1<P>(嶁޺FM