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\ OS]Polynomials:threads=2elapsed=41.226cpu=62.860gc=2.656factor=1.527zXZִF! ]ŗXf1-/6vR[Uy{n > gA[@K 4Їa]#-$矬^fA:fd66Zgu{`UY}o$iRnpp짫F{Ϧ%0趍uU +2pz2SRn,#Q= -Ky4]xbmY Fk-&3Ƴ˦wA2bi? 0x9P/,J%հ A$@rВe.n#.|2cQ!XCtrt_ϛRd"-+`ѹ9(8-2 rQMRxz*St辀q@2qTX$?(I: K 7\ƽ@s1WcD1 3=C`^|7Zw} KkoU w11@Q5u̇5ڙRˮ_/o[`K^۵q%@LtDÞ7;0`B.@01@@nQ=RGgg;tj7?_$ŝ[q &M~zÃ;'MT'σy]iIt+-Ky"+h!3/CQ#bO,4dI!,,;ʆzVl|Շ5]![%M]=RXR 4|C\<_@}}B9wOxwW):{ 7c4$}p݄B'u/s2Kx\Qj`t\gYZ09e0808c0e37c102417cc80ab635572ecd263bca 0b69d8c3f70856201e8c054bc34357b13520292f 2c7358b8a06650eec37f803b01424f3c937acf85 3122c5b55089566c74375976fd6040cc34c326db 32962e3da5e63e717fa19dd242d9f7d639774471 37e048eca1afc2c069cebaffb562a02b039bb22c 40cc7eeac230832e110edf43421355bdbbde44b2 46c6cffbc7585f1c0b12b05347257f754b1221ed 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 79f31440868c5686b204e83e4f26f92eb8d94f9b 843859570ea739e5d11e1bbd7cf1b8054832b2f8 8728d31d1abdf09f7e3be623dc60d9f7cbfd8fc8 98eea06df0ff957ef8b6b7693fd3dc82613324eb 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d3d8250e5555786375df3552614f695990918b95 f8bf8602b256d952d1aef972c9aae94ce29a6c15f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 7a21c80d3cb9f4fec6066cfeb29821ec2be1b9238977330e0178a6a9ebf8c0e9d6ee072006c1cdad