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 # \ mS]Polynomials:threads=2elapsed=24.628cpu=47.744gc=2.168factor=1.947zXZִF! ']ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l&u. qk?jȬC!eao^9rUZ.y6Ɨҏȷ`j ^C!X{rڈ7޼ME@CrYOB9der>ؾ~'I0奓;/revJ<%ND%c`[Z΢#_-IMg W^O>;;SHy֦1Lъ}.y orovЯ<*K8`I%EW6-S'*{K3']i+?H~_Z#aC1KG\0@5Tf&2R`iX_ʿ@݀"<SXC% 39 hd!R`(&38 ;ݜ+T Oz?y[G҃]:.RaFni5!I-٪ԮYPx͑Š:js)%'1ω.3`V͝8бj+a9 ޜA^Ӵ-vV>H,bSAmnUNڲ[!{Q,6;]=/N>n=0Czr&]Oq/T`t!K }0o=ǻZ.dUPi^Kz`5;ncTJ ˪UrRa єp#>^Sƞ~5OLӺ= zgYZ7zXZִF! ]ŗXi%}aڎqq)&+5*+w ְZM5) ObCk_ sNԄ<(:1Z y]2*{ M ^`K eMWܪ؇/a8Dk(b@ 0B{ HԢZI!/4iПm1ݟ&jkӤM =gmԲ) `bXn(7i/k(!zCa.K ndE/7>-\y]D4O$`Э@(%k?KNg36)>\A$pj:Rݿ37"y Ym,} +a!OGfx/8s|6,Q6a".SZ]'UeD!,Ûs@ڦQVN=GD J-Ӡ6ųԸ|x$bh^}RFխZ,ل.̙a`LZIU)fD)Tg J7.az::Vd+.FJ/ޙȣEu {1)+]=tiZ:Bt|c: ꒎2HEz AW ]N ٟJ=NuYLHRR)[;Qɋt򈚷 -nYlHFnt:}Ap]"7 Y w18} s6A#_t=CLy4arFF ll~!: R,pߩQ!Kzy~'ւ< 냻XݬFґֈ-v\:o9rGT0/(Ő yܤ`Q8n7mOa91GO1TmGu*?':>Je^{D8K7O@tNa@&fҳPrTFIMP_we>c.ixZ/ jM$ ^t =lzH~q'I/~Ojۨ^-67EC._;qSm\`$@_z 0>mU-e } FDuǖgXbP ٣&$S&l;#wZ9KK|^U[>K+/I( ')gYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 87138da535ffd5ccfc49070931196d172abbbe27 98eea06df0ff957ef8b6b7693fd3dc82613324eb b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef6416090ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 34d45216c9c2f40984859f5930a26943fb2d021b2702e09a16a34a79017b6e154d66f7e8f642d2af # Polynomials