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.838cpu=43.804gc=2.160factor=1.637zXZִF! f]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%kUcʆN?E= l_|Ty(uR7س0_hb>6vS˾:oB : XkdžlXXf~n]+w}H'@(IQǭf*^}sJ}ei*_'Ӥ8"h0e#;^!?R7:%PʉLCBnU1|j4",K+2D1=K>**\Hxԟ%&ƽ"e2~/:_Պx.O+EݮX i?M7'BtGkX%b:eKMk k* j_A-v̴U$I N|>O+h~u %~bjmcDA&6.N{IʱgYZ7zXZִF! }]ŗXi%6Iߡu`iS%DX yf6iAz暂SEg*de\w|f1ϥ Wscj>aeXjj%m)80Af,@g ]Gg7}T H{M&nxDD MLQaUt:._n9`D3p׃J3QCVB j "pVY6iO >/AԖu msO6,~ <2l4c&ytWK,c$Ң0ꘄ,p0 mmJLO6FQFNXl fk1(ݞ%j@䓰YX%L'*RszM~ԵW$|YBOfV0ļ;V.;<ޫ!{}u0}_}:oq56/ۆ4A3@J2ᚅ$ڒΆ2-B2iUf'UniCv 90]$2/GOoW1.e!hآbj]+ @ꏻZk D|\1;qΣA7, oP3QaP-*_$G齲 Rclޝoq3TtJK+\cv 왛{2D0iaH9?׌Tv:4;w':eě\}˴al]zS س,5-kj7xr,XR9XZܬIꂱ-Sh6NIrB"NKA["W?Mdos=}>H0=:A-UaV:,$FаY 3ss*e0r̵ BM ڔ|#av.M/[A`5Յg)MJwM7ۜv|U#vر7 = %iw;XA? DEږ] {Տ,D\ ?Qk1X8 XDY"RJARғpͨP{Uˍ]sv **I2n;qdZ s.\#0F]'=P\ƠSBPe)_%]d 8O/<"@4P֣W'^Y~gh9UȒ *@TDI=۬OPmцH%o"`{Bn[,(p#:/g S`{9vK(Q϶ëR=GRFao>Lek=|y,30>f IpC A 00^ڕ^'CV+H_[3]6NLN;KTP&bV5a5"T6\vT2oռJİZ~ИMڝf@Q]\(ZYxQJwX>L))n@vEK>w#;#?b7ZA`S {BgYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d5573ff3fe36dc49ebbcde4e5934f36a98a4faaf7799f 11271cf7f5c3b7b5eb8058ac8fab9e5fd2f3757e 6452e1ec17fe035fc93c4ad00d5d2696a709daa3 a3ee5a50c137a1e077d854ba486032ae904c213d f83f0844592042a2091a1bf93cf0fe2cac0e63f3 7 HOL-Quotient_Examples