SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info PP# d4 ?]Polynomials:threads=2elapsed=29.714cpu=58.100gc=2.732factor=1.967zXZִF! C ]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,~%_%Soh>*o$QO>߰BWS|˾giC]ND,Y/?'q@:U_DVjwewd a$*E@40x?^z˜+fFo}eͽrEW' [| =>6x3qD vQBg:rB.>,J 'CZ@LI-V!_gcig{QAIF/%!|`uXJ4r1NK1 # Polynomials}m2QayT2di܎G@k&`Tn'wm;rgW0j5Ӹ*+{82M].+S)Nf땰3RR;]GOuQYm$m7YarW6.K3A&')Ee=0T8OwܰPfªH!騌[9]b=؎/fisc_ ܫqH}#-Ĺl(_*eT2hs|(ـ }n/R;1Of|Z5תeo=L.Z]kua ' ^U-oϤ k'c(@F6XP:~pm[ g+c;n6hW:+Q`P2B= `DKٜfBBC9nDJKL:Ƶ PkIG6ϑ  yjcoRIs3aWs`&Wm%("0;N )$oF>f9~z*iMU0HL&LN{*߼9V?F8IsʼJ 鿹,do#N@˞])O:=m{f&VjӃXUMRRf3z!RbkKE$1.𡿗'k·[ ZԬfȏiZ2h_=Y%cԱ VgѤu88㣓M~|S=!+w؃)J{$˹fdî" $Db%p?Y2F᧭L,dvJ`+#˥Y'EY ⿙ $+n^,_߇ArK]Qd\: *$ N :ܛ hg5o+Ӵ%wRs?GW@#(j3QǾ=[(5@-h<)/kI:&e_]%IE4r%S.$pC$&*2>p`\JXg4x]' RV0V 0Z5L0zmԘiXݡ"~ ʶ140hrH彍m.H-$E[l+43ngH dI^<M=p c [u? .[Q"Co+ľǑgYZ7zXZִF! a]ŗXi% u%A .sxJh/ѝEspkFû WܬϝHQR -# R(KuCq;x%Q!n^_JiwdдZ;nu? <-G\7hZbfVsM:Xﲘb ֐(ojQ,Y7"HeȈ`>@(_K{'ީ-Y@Ԗfc?W GmwGboj<7B)IΌ/5@8O zY$ZH-Å䦝#`I+VKBQ[r^,tn?M4 `Ϙ *)`*a.lE{NҐoUxbl6}mK-XIz|y3b06ݘ1Qsתҝ ?}vCSrv.Md,I9 )FƚYgNJd u eCV0A*hE]\z`?+m}t:ka pa}C\vnsTko=cHJk ֡ dy9h>I2!@%ݾG`IDIy T!Mԛ ?Fp̮2\I6}0j`EN` *^ͼ-qR72PQŖ`y F+a@ҹ̃b$A!4B,#~S7wMEafr.}:9-Y23a0%eln"4V;\x\VNJ҆E L!vxxbtikB:#Hi/dܗB>م$0X)[W*2a Gtsg, H,Pș)ҟ UWr?/BNQ6P/M@wױ{hYE8dc+?ˣ-zD%vƯ[ م`:= ʒ]絬?#לonwwUhLR̩5jɰyH\~_QmH,*،K/n9ʐ`>|ʐXHFDMCy@fݙGŖ<'f1 {|fcUMwjlةi)q$) S ڨkoO [ [4MCXL~zW-JSW5IsqKA ᤊ Ӻo~@M@N[nf6}V2~>% Kh"mA4{ <GJoDj'u*ޤIށ9ژGxx\Ճ0Aވ WL98_WgXR$AL^t6UD\>tnob uO1veuaJԦ6C757JkgD/WZ/Mޗ'orM28<)7bZusS3mPgYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 98eea06df0ff957ef8b6b7693fd3dc82613324eb 9ed1dcd95fffdd29753593454537b95f70976936 ad3e0430353cf9dd719486ae796d190d5e13f04d b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef6416093b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd aa963d36c004d44d185f1963e086442e3e056aa01364d2895175302e3bc9364f8dc73ed5fb057fb8