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  %= t| ! Polynomial_Factorization:threads=2elapsed=47.714cpu=71.108gc=1.912factor=1.497zXZִF! "]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM9rM*qLS%Rbk҅]RѨʘG~ԑ|$K+fN: e\z?5j<˪ov&foPk~6Ub-|t<}!w]ħ`qx._IMvҊֵt`:N+卲-A^˭}>R[*#-DS֓bi㛃xͼi:R֧;c = Polynomial_FactorizationpTY Kq^"\ $d F:OڄM7rڦubޏ88{V Q ˤ(ێ&T,c xP; 9>6X(DqvA VVttlR$d5t!.iY_i vd2M4ip%A'P6ʽ^ &D6͞yb}${(e\VD[ :)#r6.Ȭ"x yɫز5RJ7[TX;W*E gYZ7zXZִF! 8]ŗXi%*[?(}QXY+Vr]A2a(g8<5˹hpvR=\hTӼ{5О쥩6; v)1U@*6;^YWfx_5mZ2CUVaU`Xes5m"aѬ;H9Z;uu̍uy!7bbU\ AΔC|x/\?hQ!=7sEo⋙MΌU&NQ>TnY-g7Arf"S⹾v)>$~V9yQ|7_,Gm nq2yI W\_7 fSIY)c"ʼ< )P>dPH Gm}Fѯ}s @R{`gGW\KZyP":rNh/r(UrK%s|M,(ШR(#L-=lƍK?P^LV 7җ@hdgi8=<('V- Jڝkwcqi mGc; WjM(Om>\}=ǻ"?:ԛB@?q.HsId`ԥ"LnFFuk,MLbWڜ}N`3dŭBّ=KF@?| ]>M @Sq chU332lfJT g;~QFb!g3b";kpOA@ȃz-%ڲ3!wvETF}OvTvW}&DcFD_˽i$D-f#TsaRhRfLQ753ϒmuzF~(bm+|:~2v'OfyLr;a.iAQCKtmq!,f@Ui \43/L%dD-d @K ^-X]Wc|F8f<ǽ3ŴW䌢 !TKRB;:QL|ٯ1\ņIicXmtNδc?g8л;rE} (iq[X6o!/Q;ǾF?G>32nPa&AGS[⹂[9lxճs\;A9aľGHb!l(RWs3G(mSZ6k;5Uno,vf'\[U'%} =srԳ o F&Oh'#y u<b6/ F}FkJN@'LgC*~`NBhH7ڧ M1'Sѕ~EN&ۓN;Á*MmE-]ʈo#u0"|3$Ҟ8 KN< C8Uϥ 2艠/"dڧ:u)-KW، Q>L3R6#Y| ^|lj~c<5|0ۄƕW\iK^P!8㍹Ayi!-+NQ㓷ݜgAn{`m[;J+6g?gʑgzh!}>BB'uwga)7}=[M; #wT鶔R=3!ŕ=OvOĮV&5j>83ddŒS Z^V?y_Ke4U>܎ﳸCH > u ckӒB>Sd&(&{!Q:$ÃV共0aoY&l S/ ĈdP[]U(O!]-& _% I9;iUT!/ I'hϿ7m+=5iqAiZ B|9Fi/~/̶f?nHMar >hCصyGcƿ>nQtn("?elh4=5HKfVZv#CB*]#Ths,]pi+J=u<ҩՄ|-?y