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 & dL w% Fermat3_4:threads=2elapsed=27.007cpu=48.592gc=0.792factor=1.807zXZִF! ")]ŗXf1-/6vRZ9Es˒<=JT!u$:Ƅ/fB?h\{#1V:?oPE;OU6=ᡃ^H (pAs\XihAx٘'3O*WP; ZxϮ^9N\t{Q̊CʐP՟*&TJcb+1lZOSZS!+"EYTl yt] f2=]3Uf=/ : &{ nAxhs3b,M?#u[7d㙂El\Qg.jYPHR[d끄(nx A`zd"pp$R7hs~(AxlYf^Nb*ź_ r{v5:u5?B3 PЏtE~!YLl)h*סh[63%ylG_3¥[,@Qbw[Cr,o.Hz L=f΃hr}6.J_p:&_]׾'\Rg:5мc€EehXeg6҉cGBC`kxdXVŢŕML6t&.j, *>]|>h`"0*,}ZNZQimV:_ZRU) +8  9RXPoi4JOm$5V) |SeE␴#yg!c?$ 6v%%4eP17ZώRF8X$6(IK>K>u/Y8g;6M%՗:Oږ?۲e$/. ^ݒ;!2*iYEG7Np\F`y͒wPkWB1_X:wErǹHjBq?}FR]7\Hd\0{ 7R+Wdq XBEA&W,yMzj Zw/ t)H%Ǘi1mQ/ G=R b~9y71 ?QU%ͯSQL׋hqq 'Ph3K@ a7v @"4`ŔASRBna 6b4gYZ064606323452ea1dcdd6bea93aba3044cca8032c 12bfa3196dfd9d703f0bd361f9dc21eb03be9732 667d03d1344eecd4575527938c85b1f70939a0d2 a3a11ca13f14838e8012c043abfbae5a87d08069 cc2b48ba1b97105f401cb679865eef420baeff51 ccd82abd9a53aa1d41b4b79cbe9c7842a7bf65a20ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 b73a2409b8623ee3a573dd89384e9fdff928c848   Fermat3_4