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 f , w% Fermat3_4:threads=2elapsed=26.901cpu=48.352gc=0.768factor=1.807zXZִF! ! ]ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^  ۋ$\`.4noy%Ԯ ϐNJ]:ԍZYh4`7j{k 6M1ڝ9eQhjX i3I3gԶXp4t "}gU;Vf-t 'Y4C}*خjjh{15m-Q»] آ@CHoj$E622$z dP;tU%9%[Y/k@]q\0G 9t*m"9W o#:򐆲yBhR;$)^/*Ǵ4(6?XaTm .גA!WOM?x $}fg:oX؁*okɩ.iuIiP,ђrmL}-'sub!J~JOj5Ͷ>I.II0Ђ'JUʦwZNޜߢp,[+~>۫Q6tq̢eS\Tzc1`'ߦ8Jn6Ae-bg.yѳhl'qL|aj6GSGb)n6'ǽTmd CUa.?{LB쁪'}1uiIFiENïuWΊkKB@EɌB1urN:ڹ]9pWnjo&eX+ՏmZ̮f]pLCē!Q6OWm6, \ GZ dQQ=Jf)7_oNɱCo&ld26^ESb.4׎SӕhȻ!bXjv?E f<0b1i7_v6}v"Yz~`4 =7Y pmRT0r U_ŧ~i؏r҄fxPv(-Ϳ{S|0Zo/_~L!I^#& M8dwUCMNf$|J?'18ke53$es9]®ۄ]⑁Y'4ʫĕ]d7(*s ،LI݀ *AA`;Cu!+nW)hݰ:WkH@;IzR ?s$=] S4ӍOU yY43t|i_= T `φ7s@zBUR}4SW+ %Ë,QrM*CQzêqP[IFd@|ywv-F 2v[!LWa]-`-OU)+p; %>ޯ|]-U7DyF2pRIC/FtnxzcQ8G#4i }oxw0|LT:Ndh#3,1Y44}D&H Ԏ0^ǵ9m# G;S>2j&I `TGʒ$⇄5v/t )o'fR"UYyp1Ŀ¦>^&7OH-UN{f>iפ .ڢ~P{Xmߏ\>ꩴ=X m.e nVp7ޗP%k¾hB;W Їh-jcWL߆HD=l7'ZgYZ12bfa3196dfd9d703f0bd361f9dc21eb03be9732 a3a11ca13f14838e8012c043abfbae5a87d08069 ad01236f2c6f3db91450003ad775f4d5c213f9f1 afdccdd570ab6daab53e128c44e1c86705d53719 cc2b48ba1b97105f401cb679865eef420baeff51 ccd82abd9a53aa1d41b4b79cbe9c7842a7bf65a2f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 d61e6fad08b1a56cbb9c72f2bce57e8e26fc3dff   Fermat3_4