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 HH-= ,T ! Polynomial_Factorization:threads=2elapsed=45.824cpu=70.568gc=1.876factor=1.547zXZִF! O]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM9rM*qLS%Rbk҅]RѨʘK/os uVDK|h~QcWtbr`EȽ5N f~VZ%7:iK"lˇ&^{H2⻱>\?oo{RZ@}|>(2Ѯ+E5ӑ#irR]8Z EE*(_Ys:!_sx~m!Iڳ6rIOm#;9h20nj5! { @t+l/vq;)_g{#eCOٸz: q"=zX&mt!R-tR}YRB|j=&O0Vs9wX m9% ~A"K!|g'JTMj>RQ!u.Ö8{m DCNvJж8iToL=QfWsA^y2]ny 碴&&Ъ45=4c:Q ^U={Sm3ŗfFLbmW\M˘ #oԿJ/{tiK+j~'M1 5zݻFxUu.BT]cwi2Z8sβkc`8?ɍ~d΄^:* 4qE%)_h}6346c7;(:ņP P~@pU+vD-RNn:,EhZ=3{6 LrJ#=ޏi" [@Xo%Xz} FCaGt &yXtWe%v;jP@O$:+el&v5ۅOf ,9SrNz<ҿ2|33tA5}Yxd1NCi=ڥCzscg~lO" ~Q &z6M@wL?m jXK#LO|M 䈘o< 5p0xo-rA SM77bg$dA w+6Z&8(*6H3*.ѥKl"ͪY9u CNgƩZ9r5z@ Pn,I L`3VSeƹ:!KhѻV^ϠY(+G~,q*dSA9Q_?Ƀtt}Y}zfve>ۚP-΢U h1:FG}9ʺh  -> 7Dz"2`_f8`jHJ@Y=6sS;|WS+{<gr~5uCl@KI(gۑOEQ8I+ŀ<?O'c({+rV$n2*vn=vg/m!/+YEӺp̷j`݃M-)kv,oAxJ-#ܟu/$ieQ5L#Tiadho uRo.;Kx)0sآeŢ3"Ҫ۳Ek = $ 㫳kB!cgD"B mb"p -۴]Xʺ\%78TL?h K*"m_x܈:jUXLIhkO1X{PJ I2Au _ck%6~Q+On(Nxɤ^/!`-WV[drBOYdMF WaN`)L.MRm's4,'Z,&XE*8|TPМir!,buߓ`D V;a!0db0piO K >@7;G֗s;2#aM2٥Ch|6l8ŬKiQką/ibGsV{YTtھ|՞: |qa6dX@X> }gMZHpFNqLc PMGX*\ղq}{5hp~$Q*Kzm.c CM5=:b| #6KaP.ܥC~09qQ|o_H5m]s(re=&Qz#H4| WMԻ#SN{rUݘP5 ȅ$\mҒvQo0jO:F'tF5pU7V."6j!*N8Ua:~| Z9x8]ofrXa7搚MjCȫN)ؒ]NՂ]I8OKԩet/Qv^@V78 xvBImS8ͻt7ȎjΑR -@i [ʶF+62'IW<77W,~C?3b?+{Kd6 8.>%o䡔V> = Polynomial_Factorization|/g)0ܧr1 ޸E0PY\)dvP{D.FP·cφ0≣HR!|g0lSjMPN=iܷ1G`Bj(F608r@.!$.Vg 9xE36WFDoi=xG<>Fٛkґb/҉;jl7̹,#D.ӫqS%`#g Gj΅5*R hI/Z(QV>ASk#9-77&zh^gYZ7zXZִF! / $]ŗXi%qbF^iI]\Ƭ*Fn WG_cb1,8r򞗫CCH &LL.7 014^xYϤ*v}j0*O%Gjt$ieQQeDee>1Ktx}[w|J kŲdF>淤i?Q] c8=p4gWB$i>0H;#5^Kj2HClptH{ѥ`ʫe#M[|]7VLYHf.;]hboD*(dTA.ȶn O׍2 ;ӵ O\w2%cw\`1MI%f~Tm. jT 8VR|׿']fhL}q|Fa:S!:q;7+r6ަޑI{!ۮE2L3 4랖\BK؎bѐ?\(_~9v5q.3V6Y0ZrWuW7y!eR=ҋeE 5QǩOuR"2ػ[u?/!1(h_;;2;VuWJ&(+)Dγj֮gQb/wƕ-l*2H8Z )#g]f#,/i]_ڝe״*GDHda=r v_? dnybn퇱)$\vW)n#4?K/PǖH!:=hyV/JF&`pixo@+zUj斔<:<}I =eGW+$?~ ?zlkf[ϭFfG8 +:r-|0u)a+ $]E!ʹI{hLXxpi{0?z1FT-ePFזs>79y>%MzHZjl,0jILN\}.<^ S̗D,nmbBg5'# jN +Y:ӥoSQ( {$]^yҨ2,4 A) N[aLěީ!N BeU )}9$r%x#>%qFk_T'=㢐Z&A(R':O㌠9"{gtr ލKe#; 5 X{?OؿHP~p"@V#il9xzM[R-c?*ɻ1`J4s4S!cN7EM?Ʈ9U_lvېGX#dp=nP ořB;'ne}1qz {A} ,:T/t~3G~k S륾or aVmqukgb{MKdmH 1(W%J&$ڵ[ sM.\ ZfmJAo+ee"LV|}ggEG8sCϓ BZDH5.(&hӳ `p#c/Ђ Ny'sb% 1p\mKEH H1'j3:H#Z?JI̦j--_d't8q _29;DAW)q&7ɌE#qEoeyrI:)