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 KK27 L| ]% HOL-Quotient_Examples:threads=2elapsed=28.540cpu=36.836gc=3.016factor=1.297zXZִF! _]ŗXf1-q恈N/|p~p%++˂z.AgscA~T|rkq$r Dzi^-\EYKo"O*24{HT8}Sy|ɵ{;#M;Ŵɰ"셬] 2sAtg:@)3fIxӦ8W;ȍε^y5 }"c~9TEЦMPÝ%4Ԟұ2Mڈww|X<>)AuT T:\޹%CS&_ ~WnӋ̸MHNEظ1 >ZKso"Lz!)1pU>HmOGrzw%*c:Ltby0bȶ'N\W(0A07]A:@gdݺcW )]oR#rP7|+lG^0ȍx.Zgc-LtE^zV4H1|߅ɈsV'BPEnv̜ ig=JRcT; 4w) ]gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP Wnai7Y%j݄1gt:+j3ER &V.ZN7GIoDx(2عXoB-4#xhڊ-EpNbl KЉcPGZ {&6Aur63z֟3e6$6\yw׬T)Xo:t^#,2w^vdBpKCžH @# =/g[__YtT} Z-AtqD~˔xmz7\y:[rAACK&acf|Uߊ0GFt 5yIM7B5wm䮤}=g.}/d- y̼0dO(n}J[P gyeTD4,&>}Ȕ&x(ԠPڼ2s8mQenPt|#91>Hq{OS `𜷘%1vG` ѬG;Vbqtٍ;qyqW+mJтT"JP4G&ѻ%'Hu!CD`_}hd`.u]sIoSetջL1匳g(+&x43 !,~X`cs}HVXp;`B6rK~AD86N|۵{whQ5o%8MT&=~EA2FVݭ lLQ932;=^ЅQ VyMXoCA?G R@1"=C-T\l\q-fBZZf>dI:|"Dsf@x/+lU Yzφ$\zMfI]{]ƁT^"'W!>3ٍrqEXQPƶS"k# ;:$Ԯ !wd6lt  ۭwem\%uuCf8 )éh%<| F:!ȉ12%QY& GgYZd5ad262a3f89f529c13e6026751ffe3565b2e2ef5854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 7c1de0903040091d1e09c534ba1ac732accfb268 a9300c635f1af2f1a0205285ac7b88cb9a5ee35b 5c2023bf1098adf052d4f833a38e539c4bcf0b8b 7 HOL-Quotient_Examples