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 ]% Fermat3_4:threads=2elapsed=27.246cpu=48.800gc=0.740factor=1.797zXZִF! !]ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^ ;P E _ȗAQac7hZX`&1IYrkw݌Agmu4ޠoB\8g={n_8iMžEh `<Yym@ BM :||;_bvzxPx閰'I6ܫgӓ|]!oc\7%5D wRQ)T\^_Tx? @avx$} ]c5bowMؐn:cEW=o_5^`hUE"o%.ݨ޺&o(!=GԔexGS Z[ͷS+X6Fwzvcy򲾮x0W%ynʝ'9YoQ`g Od.e[&F魯룫ֵeȱoS291lQ]P KO{|L"|TmUulP6&0iF['eH_յ0:MC(puyٟ{cֿW35pҭC,ǓMa ɸjKSz)* %sC=HfX P# k}q+E'UQ NVX QF6L5k]R땦Rj}fꎅjko8 (ߗAUV3O"۟}Xj;rʡX'SRp7(Z@Q2u\Ιhx?$cdߖB|ުǫZA:#Br!~5Hss/+pwew nWgA*|f<"̃XWҢ{Rly#QT5g`D?멡7\~w$߅m9E@qAt?u#9.+-K_=Rx10OxGA§Y?:wHwr6X [Q'1Õh{cVw*]~f3s^ʅNT W.qǃMTcמ‚ӪAb+#Q. ږv38P˯mbSx㦞 ]h>JwZ_tJG+J'yJH8P8k~/L]P5a١ BQ\&y#˜=\lYk1﯏~lQ7OMrƳq"P1'{H~i(f}S%ɗa|HZEK,{8^mpQ>gh0]4'\Ed:pQ() Y_# c T5y0 DZ+PsK IeI8;N+Y@>waEƪτV#~y䪴5ԨZvR$L0L_o DUXb9i*U&ٺv h&"i&~s8QDN&̌crjm`0tm/0gYZf74001d5d46132f528b5bc53627f73acc44d82a1e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 0015d5cf47efe9bea1af1cff8dcd1a46b779a178   Fermat3_4