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 ;;B tt w% Fermat3_4:threads=2elapsed=26.864cpu=48.340gc=0.728factor=1.807zXZִF! ]ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^ qޤ _o 5Q.Xh}&?ɟs*xvh77~9ӏ$i}S&ܿNe{m xPQJ%at[_ zhm3FE̱[t\@IbH 䝓dnK j9)S1u8@C/D qF6HVT.j0>g6~H,YA= v,>OKF|i !$NVG&ǩp m\T&}9b1.2s4٭ 2ˡ*0ꍦ%@S{m(ȡ#YӼ PQ$s>}1pK%w9iOjs?:>Cf2N@1.Iz$ YG{cLP:;q(8^D.)7›uZJ;g I%y6}}})vz:?)بTf8h-h0kd ہ# ,R4|F]ݴ "?qEb}d; n@a%W*M~erzG0EM\{hYx-uGFZ;:p*ǭu`d[AxIewgYZ7zXZִF! 3]ŗXi%6e X׻-C՘Kd|8=c;A>^}e!D*2oTHxe<ls9ܦj;}~vdZu8,>s=? C4K:'Y*/}yHF^K Cm;,A]-*_)vhIt{ؓ9 [&bz3rCh)K27v6/G/t\cyʀt.F5vW^5)>`2^ #ѐnh:O#BJuUߩ[(BV.G|Ƃ31TtΗ \lG $ƃK9J659ltciY-0n9*vvDNoFiA/ %,FrBQ$Zܮb TRӄю[A~7dԐjdrR;ѹ0g%<^i دN{*}7|k<DC*VđD@T~ZÉoKPS^<>'07gF.\ uE+PVlٳ'Q#̗mU{F sJC%9!rZKl*[N2"vǫoP!p4s[˖rȋ~f?On_IS8>0X‹+DBWCNTdcDhY%t5W}srQ/,I:XY?͊ӊ+gOv>lЦ.f9iL͹KaY1.x6_kbbҵ/cS}י?;B&7dmĀڊ;N3yB2/gF&3^< R)8忭\Vf6UU:/l]C;y e W`/ Oާ m  KaPQLT[6%s%;CO~-GT#9<pFej?ç U ,n6ǒj _p@=dU%J/mT_Q%2+Sب#G9e+pۑq|$es.ӡ$!LĪb!C({Vκ18E9ahN8۞e7/\QlILa8 ͐R9_KYjx$3v`bMMr&jW#*^6߻08sOZS1=F@ ; ;]D НZ' [2}wuʫN}vRD GN.XH}j2̪{h30BՃ&ϖ޹c8 nk(e*bqX 7p-2[A׸h0C OOplA+R\4kF2Nkיi^^Dm9ZWZXu^TQNlT{L6G#=X98+>Vq2O\RYN8\-<S2#l1enoHD))-+krF2o*~W7ev=@[QqD{P$XU M]8p"$J I1@NNz1;ւ+BΙqsa3_Τ"L&իܸBAg5me?&W@5>#p$I Dfsc^$Ub1l_$ɹ*mq/Q븨 ѭtcit0VJm=d0)O+$"T*֊LZ(],mD!& My|Z=)xlK(QR'WěgYZ064606323452ea1dcdd6bea93aba3044cca8032c 12bfa3196dfd9d703f0bd361f9dc21eb03be9732 667d03d1344eecd4575527938c85b1f70939a0d2 a3a11ca13f14838e8012c043abfbae5a87d08069 cc2b48ba1b97105f401cb679865eef420baeff51 ccd82abd9a53aa1d41b4b79cbe9c7842a7bf65a2e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 f31ac412b1c98807a640831f5474b6b565c988e0   Fermat3_4