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 # d mS]Polynomials:threads=2elapsed=26.066cpu=49.144gc=2.472factor=1.897zXZִF! +]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l.yZ|6~|;͗Kd^ 4:oݎPg3(ΑҌPA1'}+Q'8ZJbzٴv,P M|[~҃q*L'f*4ѽCiC\O^nAGNg׹reyЦw!01ಝoo Ro`u? [s. tgmʚeMtcZg_6kBVڼCS[Õ.'W& И|Üd:;6e2;e1~9gCaTE'hZV6ɬ Hw{TC+әݻ"e|)!l ޛ+4/Ti+$hK-AI-^Tq>޲^8kS7ڵ~FfmC,ی5ё&* _QUE%8JO3QbF]*L|5Ug#f8Fٻw8}mrD\gFsl{H<>aƖ%Jal#zDUf$[Qpc,b8QҌG,ySlcW*SPЅ ᱠ]H gAvaYw a(KƫKȜFa hNa w~uPDoWK 8doބ$>},C_6oNbw Ud*yZtv$%;`C' m.@=egYZ7zXZִF! ]ŗXi%Ni!j#ag8ԩ@W-tQÃ eB7֓1ij(4la!'>3\8W ' +FXgπc.{0VʛxKjccjgDah̡28TUJ}QDTisɈ>~KC3O?{,42fںl>'N@]W@NtgtٿOt 89S栣ua(ǃC)_< o PS:U21 DfÉ x+eaYN^InG^,刂@I[~c\q3Uյ0ZH<0kh*vѥY[WIN|\IoAu'$;J*q:;0j/~ OQ*PJ ~q[N:E@ :r T _EnGLK2}Zgl~wzK2)$@(퐸yLYgQ|֩2PgzYT*+"K_n%oCsXѧ Ѵ,c+`x xʧ[+),d@#&E| /uC^B#)̂R'GCf[5f쵦/oGy{%dV  xh$gYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 87138da535ffd5ccfc49070931196d172abbbe27 98eea06df0ff957ef8b6b7693fd3dc82613324eb b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef64160903f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad 3548de0143411ed5dfd3be9ae84237144e952998 cb9a6f88cf7eff44ea757ed8df81145eb56a36f498a8fc89f7210f2cd34f1dfb78571b2ab77a2cd4 # Polynomials