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=25.117cpu=48.652gc=2.468factor=1.947zXZִF! ]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l&Y#\SK :1+g[uhL[y)̛T;b{q iGaО&/Xq_^;c83hf0L'9Mi61^e@$rWc9u(mH-F:u&~<ڳmiEߛLcTV0@Ǐ*q Q*ޢծ6wTDf"a+9ߨ$SZ_$dxB4|] dke<>&{)POYkʺA3oe_(qӖ$[M޾A3A*>O2K߰J,IH2Zo[xY26os{= =nzz,v:2x-yܤ5Yu鑾Kcdyٚ{y6u +6׍Jz֘'hTw>UEjGϴMa`P! "{yz[inTq?@AX6!ĒcOj7 So/p'hڈK´,=a# MyuS m UðRObgdC&S=PP]dR|m]']]aKH+o;$+[/.ȈF(,,v8Ud禍 Y/OA”йCk[_:Z~,gF]_ dSm^;l䂀i$ c  `kLD `(Ճ@en3 # Polynomials b(XsPhCȎ7-WwLo a*؀ LOZ"{}B=Hƛ0A\@Xʒ [JRCw80putqxn>H{oh׍Ww#|/ `T衱r \\ 6Doc'>!Q%)\|yywV%7!o=>μ@cTSsO`9҅wmz,1`)~FWh0mqw)_̻BI뤖Y2,BuJxYMty* ?pm;|X h8oE]89aԋ?<9 P0bFO ? յu cYYH[.QY{? T]W _dw:J։dt\}Uٞm+ۣ[tc^Ⓥ$2ϣτF@"<<1Hm"=9|Mǁpm[DLs:zLCawv H.Q蚙 zh@G%۬ 5xp $׎[h鳎:6PM{uA!7ƚIsLp1G斻EBRzZv=RH>,ČD6E9(jU!KhXV vb^yEAc4SHC$ Ԭ Uv}0~+MQNg3]]H_q 4 FJt*0E@j-L0BUˡnTcT^GMxIʠ}ǹlw2\-?*1L}Ax`w;-UfdF:7:*AOD3=>n'"k9Fk8hdS6a]5JK7efOa8\*i a$/f5Aa T۳<ŔYGJ#9r x:jo6Yҩ<^v.еlD+ADd"m^#/=^kLr4JpumAxvɷVZ(> 1bXFJwInKiJ; sYGPo$۵ĦrX˝@'F7pIzT ivհjS^я؃yc)j NAS@$쉴i#V"Z:ƼqYFZ;M~&ՇHɠ܇#P>\pI츋l?TqLejڬ*1\JpJy'=":W%H y)kGu_(4Qs{ZoȲ5%ov _h}r5nSUq‹= S3#$ϏE. ~JZN$>ٖ4w= ]:r2beZRr?6t-?EM//"BRψ)iÅޔgYZ7zXZִF! ]ŗXi% ż&V톙(F#Jl5݀4IlcVriV') n*= p_2+ 83Wѻck'ʆwMWm!Bqq!@pjٴ |>1%p: ]ֆ(<&tsدv~"J<^Q"lh4 yZָ9N$XX@ئȵ,#r^Ҥ236G.8dҎ' ~`ퟴia;ƵPRh8ʌ?US~3:QIkɏ8L_nigfɌ!P_RGm.} Kr`Nehtw݋Nـ?"7gF׌gJ!4 'Uh@;v%^%BTrXJV7rpm'w$&N] 4vte &R,Ă3kOط`_D+<8"LKʢv݂M?Xb'Z-:#b'EH,(/ۜIn.!Jd!lKONҔɪJJ0Ȃq-y q9k1f5a3!;<">/GaD0&YƖS\A8D`n-*<Q9pSd _"]Dx/SbSƨp;i ;?:}&5Iq_>we0w̢*0w+ՁoHrgs[hBu7wgEyd"`|S3![^%u P k=2ݠ9LbS}aSk BLj4Z:U]O@u,A"yYc \xyz2f= -6:Lӓ#V)"ڹWR{|U4Ue[8ӭR)QkL꼞Xh54e%o?Pw,dD_닯.ro_kxDIHXIi E̒ʣ`KL\P3h^ﲉA"7]DF%iPn= V4WN(J3Xg\C FJwG~b2+B$uԼrKUO\}_]dhMߞz73B-zjS2#ҏ0At-VPs5ʼnJ0#ՏR՝71CHo߇kgYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 6a213435ca6ce89c07e8bd75e635b205de3bc928 98eea06df0ff957ef8b6b7693fd3dc82613324eb b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef6416099711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef df4c4e52006aece17c1a6660d071e24987d1e046814691a42fe2f754be85fa35d2fc4eaa926e6936