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  ,l w% Fermat3_4:threads=2elapsed=27.013cpu=48.708gc=0.716factor=1.807zXZִF! !]ŗXf1-/6vRZ9Es˒<=JT!u$:Ƅ/fB?h\{#Q_Qsؒgm#vpVrcXk5$? R6*\yQw˯#gFnÂ%fpaUA 5^YV:G2 %a3JFɔ%_p puNg/˲ƢM^pk͆`Ŵ^] w,6eg<,{#!M< s5 +ܑ?qC:!}kq10v(a6N)2mgzT9Ú|>bq?x4P+R&-DRFCI\XAju~ɻn׬s:YB?QhJ`r:a5w*#k Iݧu :)9({kㄍwFeiC6UgYZ7zXZִF! m]ŗXi%6y4 >3Db R@HfcJ_[mAwFJ4x6{ E -ǣgZy);s.`Aי傅mXĺ=t KMŞ 6=a%uȓ]ɼbA?nVt9-5^O/b])mt8p`o[3 ZѤ;7YQpm=N֓cȹ.P%P-^܃\}? 1!eTLs(Ѩ B<(cz/7TrFi*6G[Kft`O@tg̴V%ɆxL cv'aVf=2y~!_Z©^Ix)ҥdF(e"V=h\a /g8kٛnr^r?׫kb7yOxmJ$nU}Zuuwҫ[Jy 4I3{{ScCdJClA[%%]t;Q%/2E\YΩnG0;k$!UIL@N w8\D#h" Zw(͞-h-@7qk]cm&,FBvNG]׍kQ)p4J$aX^9$3\aIbAT AM - M;iL 'jc0PQ/䇟LOjYʱ}4U+e!5dp]2{\XCu2cxjYL5f:I0=l.wt0[|ca=pڝCƷ"p>JTNfפ/~kR4i+_ _m4)oo(p2\VmJOEvm6,vb z.Qh؁w amMb?u7kWGӥ{WxU->F]?8u?aYA[1ڣ 1r ])d庅P Q67i+C|SX]DW/vV bniFyJ# D$j@s02)1&n!*ۡnnΤz9E͏gK }f0S'MeW c6qC Vu ̩8[C‹J=u@ N"͖vvdNIljOw7Be]{?S=\(=V^Hr=WAUO 4e*,~A-pݙ K:qh\oL\]׊(`-yܡUfd=8OPZ߿Stb=+s<*(u m<:ҁL/^s`Go c.ܸM }0LĔO&Ԉ {!b?WvPKPSp,3 kyoH4 vZLUѕEU1†7\%3YO،4L:g*!Oke㗼v8mW&E]0}|8u'UPmV^N54xg,(/hQY Nxz3dc B[6Ӷ@d_um,Η Pܽ64T.#JyU ^Fϑh)>{-UNk3^/ eu@ܬ)I+Y,tHavvq*B hRΦ@"SqD$6 G'g=ˠ})'OgYZ064606323452ea1dcdd6bea93aba3044cca8032c 12bfa3196dfd9d703f0bd361f9dc21eb03be9732 667d03d1344eecd4575527938c85b1f70939a0d2 a3a11ca13f14838e8012c043abfbae5a87d08069 cc2b48ba1b97105f401cb679865eef420baeff51 ccd82abd9a53aa1d41b4b79cbe9c7842a7bf65a2554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 53bcce29f11bda0dc2e3c838c6b02e9af38c28dd   Fermat3_4